Module Generator.Div_mod

module Div_mod: 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)