package bastet

  1. Overview
  2. Docs
package bastet
Legend:
Library
Module
Module type
Parameter
Class
Class type
include Interface.EUCLIDEAN_RING
include Interface.COMMUTATIVE_RING
include Interface.RING
include Interface.SEMIRING
type t
val degree : t -> int
val divide : t -> t -> t
val modulo : t -> t -> t
include Interface.DIVISION_RING with type t := t
include Interface.RING with type t := t
include Interface.SEMIRING with type t := t
val add : t -> t -> t
val zero : t
val multiply : t -> t -> t
val one : t
val subtract : t -> t -> t
val reciprocal : t -> t