Module Internals.MakeOps

Parameters

module P : Prims

Signature

type int53p = P.int53p
val (~-%) : int53p -> int53p
val (~+%) : int53p -> int53p
val (+%) : int53p -> int53p -> int53p
val (-%) : int53p -> int53p -> int53p
val (*%) : int53p -> int53p -> int53p
val (/%) : int53p -> int53p -> int53p
val (/%%) : int53p -> int53p -> int53p