wytp.types.subtyping
Classes
CoerciveSubtypeOperator
CoerciveSubtypeOperator.Atom
CoerciveSubtypeOperator.Term