package modular-arithmetic

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Mod_arith.MakeSource

Parameters

module M : Modulus

Signature

Sourcetype t
Sourceval equal : t -> t -> bool
Sourceval compare : t -> t -> int
Sourceval of_int : int -> t
Sourceval to_int : t -> int
Sourceval of_string : string -> t
Sourceval of_string_opt : string -> t option
Sourceval to_string : t -> string
Sourceval of_float : float -> t
Sourceval to_float : t -> float
Sourceval modulus : int
Sourceval zero : t
Sourceval one : t
Sourceval minus_one : t
Sourceval min_int : t
Sourceval max_int : t
Sourceval min : t -> t -> t
Sourceval max : t -> t -> t
Sourceval mul_inv : t -> t
Sourceval pred : t -> t
Sourceval succ : t -> t
Sourceval (+) : t -> t -> t
Sourceval add : t -> t -> t
Sourceval (-) : t -> t -> t
Sourceval sub : t -> t -> t
Sourceval (*) : t -> t -> t
Sourceval mul : t -> t -> t
Sourceval (/) : t -> t -> t
Sourceval div : t -> t -> t
Sourceval (**) : t -> t -> t
Sourceval pow : t -> t -> t
Sourceval rem : t -> t -> t