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