Core_via_contramap_and_divide_and_conquer.Req
type 'a t = 'a Divisible_req.t
The type held by the Decidable
.
val lose : ('a -> Preface_core.Void.t) -> 'a t
Since Preface_core.Void.t
is identity for Either.t
, lose
act as an identity for Decidable.