prbnmcn-basic-structures

Base package for prbnmcn-* packages
Library prbnmcn-basic-structures

Parameters

module X : sig ... end

Signature

include module type of struct include Empty end
type 'a m = 'a

'a m is the type of programs computing a value of type 'a

type t = X.t ref
type elt = X.t
val create : 'a -> 'b ref
val set : 'a ref -> 'b -> unit
val get : 'a ref -> 'b