metafun.mp /size: 119 b    last modification: 2020-07-01 14:35
1
if
known
metafunversion
:
endinput
;
fi
;
2 3
if
known
mplib
:
4
input
metafun
.
mpiv
5
else
:
6
input
metafun
.
mpii
7
fi
;
8 9