# Module Lincons0

    module Lincons0: sig .. end

    type t = {

`` | `mutable linexpr0 : `Linexpr0.t`;`
`` | `mutable typ : `typ`;`

`}`

    type typ =

`|` | `EQ`
`|` | `SUPEQ`
`|` | `SUP`
`|` | `DISEQ`
`|` | `EQMOD of `Scalar.t``

APRON Linear constraints of level 0

    val make : Linexpr0.t -> typ -> t

Make a linear constraint. Modifying later the linear expression modifies correspondingly the linear constraint and conversely

    val copy : t -> t

Copy a linear constraint (deep copy)

    val string_of_typ : typ -> string

Convert a constraint type to a string (`=`,`>=`, or `>`)

    val print : (Dim.t -> string) -> Stdlib.Format.formatter -> t -> unit

Print a constraint