(* A client for TimeServer. *)

module TimeClient;

let timeServer = 
  net_import("ObliqTimeServer", "");

let time =
  proc() timeServer.time end;