set/derived/IntSetDef.m3
generated by m3build
MODULE
IntSetDef
=
SetDef
(
Integer
,
IntSet
,
IntRefTbl
) END IntSetDef.