fast-combinatorics-0.1.0.6: ats-src/number-theory-ffi.dats
#define ATS_MAINATSFLAG 1 #include "share/atspre_staload.hats" #include "ats-src/number-theory.dats" extern fun mod(int, int) : int = "mac#" implement mod (m, n) = m % n
#define ATS_MAINATSFLAG 1 #include "share/atspre_staload.hats" #include "ats-src/number-theory.dats" extern fun mod(int, int) : int = "mac#" implement mod (m, n) = m % n