qualified

qualified term

In case that a term can be parsed into different sort, it is possible to qualify the term to one of the possible sorts by affixing it with : <sort-name> (spaces before and after the : are optional).

Related: parse

Example

(1):NzNat (2):Nat