package osdp

  1. Overview
  2. Docs
type t
val of_list : int list -> t
val to_list : t -> int list
val one : t
val var : ?d:int -> int -> t
val mult : t -> t -> t
val lcm : t -> t -> t
val gcd : t -> t -> t
val divide : t -> t -> bool
exception Not_divisible
val div : t -> t -> t
val derive : t -> int -> int * t
val compare : t -> t -> int
val nb_vars : t -> int
val degree : t -> int
val is_var : t -> (int * int) option
val list_eq : int -> int -> t list
val list_le : int -> int -> t list
val pp : Format.formatter -> t -> unit
val pp_names : string list -> Format.formatter -> t -> unit
module Set : sig ... end
module Map : sig ... end