Prev Up Next
Go backward to Predicate Application
Go up to 2.3.3 Atomic Formulae
Go forward to Equations Definedness

      DEFINEDNESS ::= definedness TERM

A definedness formula is written:

def T
It is well-sorted when the term is well-sorted for some sort. It then expands to a definedness assertion on the fully-qualified expansion of the term.
CoFI Document: CASL/Summary-v1.0 -- Version: 1.0 -- 22 October 1998.
Comments to

Prev Up Next