[m-users.] Comparison in the reference manual

Paul Bone paul at bone.id.au
Mon Nov 9 10:09:27 AEDT 2015

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?


Paul Bone

More information about the users mailing list