libm3/derived/IntListSort.m3


generated by m3build

MODULE  IntListSort = ListSort (Integer) END IntListSort.

interface Integer is in: