Site Menu Project Specification Implementation Recommendations Reference Needs Updating Work in Progress Wastebasket Wiki Manual |
LONGLONGBITSETSpec.LONGLONGBITSET HistoryHide minor edits - Show changes to markup 2010-05-24 13:13
by -
Added lines 1-17:
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. |