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)