[m-users.] Comparison in the reference manual

[Paul Bone]

While answering a question on IRC I tried to find the relevant part in the
reference manual for comparison.  Specifically that the order of functors in
a type declaration is significant.  But I could not find it.

Is this written down somewhere?

Am I mistaken about how comparison works?  I think that if:

:- type bool
    --->    yes
    ;       no.

Then yes < no because yes is defined first.  is this always true?

Thanks.


-- 
Paul Bone