m3front/derived/WordTimes.m3
generated by m3build
MODULE
WordTimes
=
Times
(
Int
) END WordTimes.
interface WordTimes is in:
m3front/derived/WordTimes.i3
m3front/src/builtinWord/WordTimes.i3