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