sig type data val memo : (Cil_types.kernel_function -> Kf_state.S.data) -> Cil_types.kernel_function -> Kf_state.S.data val self : State.t end