Predicate.Divisible
type 'a t = 'a t
Type
The type held by the Divisible
.
include Preface_specs.Contravariant.WITH_CONTRAMAP with type 'a t := 'a t
val conquered : unit t
include Preface_specs.Contravariant.OPERATION with type 'a t := 'a t
module Infix : Preface_specs.Divisible.INFIX with type 'a t := 'a t
include Preface_specs.Contravariant.INFIX with type 'a t := 'a t