package orgeat

  1. Overview
  2. Docs

Module Make.P_zSource

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
Sourceval one : t
Sourceval 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
Sourceval equal : t -> t -> bool
Sourceval to_string : t -> string
Sourceval zero : t
Sourceval add : t -> t -> t
Sourceval neg : t -> t
Sourceval sub : t -> t -> t
Sourceval mul_int : int -> t -> t
OCaml

Innovation. Community. Security.