Module Context.Externals_With_Formals


module Externals_With_Formals: 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