package General

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t
val zero : t
val one : t
val negate : t -> t
val add : t -> t -> t
val substract : t -> t -> t
val multiply : t -> t -> t
val divide : t -> t -> t
val square : t -> t
val exponentiate : t -> int -> t
module O : sig ... end
val repr : t -> string
val equal : t -> t -> bool