package bastet

  1. Overview
  2. Docs
package bastet
Legend:
Library
Module
Module type
Parameter
Class
Class type

Note: `int` is not a fully law abiding member of Additive.Semigroup, Multiplicative.Semigroup and Semiring, and any abstractions dependent on these, due to potential arithmetic overflows

module Additive : sig ... end
module Multiplicative : sig ... end
module Subtractive : sig ... end
module Divisive : sig ... end
module Eq : Interface.EQ with type t = int
module Ord : Interface.ORD with type t = int
module Bounded : Interface.BOUNDED with type t = int
module Show : Interface.SHOW with type t = int
module Semiring : Interface.SEMIRING with type t = int
module Ring : Interface.RING with type t = int
module Euclidean_Ring : Interface.EUCLIDEAN_RING with type t = int
module Infix : sig ... end