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