Module Context.Internals


module Internals: Kf_state.Context(sig
val name : string
val dependencies : State.t list
val kind : [> `Correctness ]
end)

include struct ... end
val memo : (key -> data) -> key -> data