module Any: S with type t = bool
S
with type t = bool
type t
val append : t -> t -> t
t -> t -> t
val zero : t
t