Module Kf_state.Context


module Context: Build(Inout_type.Datatype)
Build an internal state for inout context.

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