kempe-0.2.0.7: test/data/mod.kmp

import"prelude/arith.kmp"

mod_kmp : Int Int -- Int
        =: [ modInt ]

%foreign cabi mod_kmp