Module Generator.Unsigned_overflow

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