package lem

  1. Overview
  2. Docs
type nat = int
val nat_pred : nat -> nat
val nat_monus : nat -> nat -> nat
val int_div : int -> int -> int
val int32_div : Stdlib.Int32.t -> Stdlib.Int32.t -> Stdlib.Int32.t
val int64_div : Stdlib.Int64.t -> Stdlib.Int64.t -> Stdlib.Int64.t
val int_mod : int -> int -> int
val int32_mod : Stdlib.Int32.t -> Stdlib.Int32.t -> Stdlib.Int32.t
val int64_mod : Stdlib.Int64.t -> Stdlib.Int64.t -> Stdlib.Int64.t