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