DEFINITION MODULE LONGLONGBITSET;
(* Alias type for 128-bit bitset type *)
<* IF TSIZE(LONGBITSET)*8 = 128 *>
TYPE LONGLONGBITSET = ALIAS OF LONGBITSET;
<* ELSE *>
IMPORT BS128;
TYPE LONGLONGBITSET = ALIAS OF BS128;
<* ENDIF *>
END LONGLONGBITSET.
Retrieved from http://modula-2.net/m2r10/pmwiki.php?n=Spec.LONGLONGBITSET