Module Switch.CtxStore

Parameters

module A : CtxStored

Signature

val mk_store : unit -> (A.tA.context) t_store