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 : Project.Computation.t
Project.Computation.t