Module type Generator.S

module type S = sig .. end

val is_computed : Cil_types.kernel_function -> bool
val set : Cil_types.kernel_function -> bool -> unit
val self : State.t