module type S = sig .. end
sig
end
type data
val memo : (Db_types.kernel_function -> data) -> Db_types.kernel_function -> data
(Db_types.kernel_function -> data) -> Db_types.kernel_function -> data
val self : State.t
State.t