Up
—
package
funarith
Module
Funarith.Prime
module type
S
=
Prime_intf.S
module
Make
:
functor
(
I
:
Int.FULL
) ->
S
with
module
Z
=
I