Goal (p.logical.0.2.0.doc.logical.Logical.Goal)

Sourceval equal : Value.Type.t -> Value.Type.t -> Value.goal

Sourceval either : Value.goal -> Value.goal -> Value.goal

Sourceval either_multi : Value.goal list -> Value.goal

Sourceval both : Value.goal -> Value.goal -> Value.goal

Sourceval in_set : Value.Type.t -> Value.Type.t -> Value.goal