ByOtherNames.Constraint

Documentation

class Top x

A constraint that can always be satisfied.

Copied from the sop-core package.

Instances

Top x

Defined in ByOtherNames.Constraint