Functor Generator.Make

module Make: 
functor (M : sig
val name : string
val default : Cil_types.kernel_function -> bool
val parameter : Typed_parameter.t
val additional_parameters : Typed_parameter.t list
end) -> sig .. end
Parameters:
M : sig val name:string val default: kernel_function -> bool val parameter: Typed_parameter.t val additional_parameters: Typed_parameter.t list end

module H: Kernel_function.Make_Table(Datatype.Bool)(sig
val name : string
val size : int
val dependencies : State.t list
end)
val is_computed : H.key -> H.data
val set : H.key -> H.data -> unit
val self : State.t
val triple : string * (H.key -> H.data -> unit) *
(H.key -> H.data)