module Enum_bool:Enumwith type a = bool
type a
val succ : a -> aval pred : a -> aval to_enum : int -> aval from_enum : a -> intval enum_from : a -> a listval enum_from_then : a -> a -> a listval enum_from_to : a -> a -> a listval enum_from_then_to : a ->
a -> a -> a list