module Externals: Kf_state.Context(sigval name : stringval dependencies : State.t listval kind : [> `Correctness ]end)
Kf_state.Context
(
sig
val name : string
string
val dependencies : State.t list
State.t list
val kind : [> `Correctness ]
[> `Correctness ]
end
)
include struct ... end
val memo : (key -> data) -> key -> data
(key -> data) -> key -> data