package osdp

  1. Overview
  2. Docs
module Coeff : sig ... end
type t
val of_list : (Ident.t * Coeff.t) list -> Coeff.t -> t
val to_list : t -> (Ident.t * Coeff.t) list * Coeff.t
val var : Ident.t -> t
val const : Coeff.t -> t
val mult_scalar : Coeff.t -> t -> t
val add : t -> t -> t
val sub : t -> t -> t
val replace : t -> (Ident.t * t) list -> t
val remove : t -> Ident.t -> t
val compare : t -> t -> int
val is_var : t -> (Ident.t * Coeff.t) option
val is_const : t -> Coeff.t option
val choose : t -> (Ident.t * Coeff.t) option
val pp : Format.formatter -> t -> unit