Divisible.API
The complete interface of a Divisible
.
include Contravariant.WITH_CONTRAMAP with type 'a t := 'a t
val conquered : unit t
include Contravariant.OPERATION with type 'a t := 'a t
include Contravariant.INFIX with type 'a t := 'a t
Infix version of OPERATION.replace
.
Infix flipped version of OPERATION.replace
.