Module `Logical.Goal`

val equal : Type.t -> Type.t -> Type.goal
val either : Type.goal -> Type.goal -> Type.goal
val either_multi : Type.goal list -> Type.goal
val both : Type.goal -> Type.goal -> Type.goal
val both_multi : Type.goal list -> Type.goal
val in_set : Type.t -> (Type.t, Type.comparator_witness) Base.Set.t -> Type.goal