functor (T : Netplex_cenv.TYPE->
  sig
    type t = T.t
    type var
    val access : string -> var
    val get : var -> t
    val set : var -> t -> unit
    val version : var -> int64
    val update : var -> bool
  end