module Downcast:Make
(
sig
val name :string
val default :Kernel_function.t -> bool
val parameter :Typed_parameter.t
val additional_parameters :'a 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)