m3front/derived/WordNot.m3


generated by m3build

MODULE  WordNot = Not (Int) END WordNot.

interface WordNot is in: