package orgeat

  1. Overview
  2. Docs
include Smol.Algebra.Ring_S with type t = K.t Smol.Polynomial.Make(Literal.Variable).p
include Smol.Algebra.Basic_S with type t := t
include Smol.Algebra.Mul_Monoid_S with type t := t
include Smol.Algebra.Basic_S with type t := t
val one : t
val mul : t -> t -> t
include Smol.Algebra.Add_Group_S with type t := t
include Smol.Algebra.Basic_S with type t := t
include Smol.Algebra.Add_Monoid_S with type t := t
include Smol.Algebra.Basic_S with type t := t
val equal : t -> t -> bool
val to_string : t -> string
val zero : t
val add : t -> t -> t
val neg : t -> t
val sub : t -> t -> t
val mul_int : int -> t -> t
OCaml

Innovation. Community. Security.