Module type Kf_state.S


module type S = sig .. end

type data 
val memo : (Cil_types.kernel_function -> data) ->
Cil_types.kernel_function -> data
val self : State.t