Parameter CtxStore.1-A

include Stored
type t
type key
val compare_key : key -> key -> int
type context
val make_key : context -> t -> key option