Documentation for method definite assembled from the following pages:
Class: Metamodel::DefiniteHOW §
(Metamodel::DefiniteHOW) method definite §
method definite()
Returns 1 if the definite type given is a :D type or 0 if it is a :U type.