Predicate.Decidable
type 'a t = 'a t
Type
The type held by the Decidable
.
include Preface_specs.Decidable.WITH_LOSE_AND_CHOOSE with type 'a t := 'a t
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.
include Preface_specs.Divisible.WITH_CONTRAMAP_AND_DIVIDE_AND_CONQUER
with type 'a t := 'a t
include Preface_specs.Contravariant.WITH_CONTRAMAP with type 'a t := 'a t
val lost : Preface_core.Void.t t
lose
acting on identity.
module Infix : Preface_specs.Decidable.INFIX with type 'a t := 'a t
include Preface_specs.Divisible.INFIX with type 'a t := 'a t
include Preface_specs.Contravariant.INFIX with type 'a t := 'a t