[m-users.] Comparison in the reference manual
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
Then yes < no because yes is defined first. is this always true?
More information about the users