Module type Kf_state.S


module type S = sig .. end

type data 
val memo : (Db_types.kernel_function -> data) ->
Db_types.kernel_function -> data
val self : Project.Computation.t