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