Mkfield.Make
module X : sig ... end
type field = X.t
val key : field Ctxmap.key
val get : Ctxmap.t -> field option
val get_exn : Ctxmap.t -> field
val set : field -> Ctxmap.t -> Ctxmap.t