# Module Generator0

    module Generator0: sig .. end

    type typ =

`|` | `LINE`
`|` | `RAY`
`|` | `VERTEX`
`|` | `LINEMOD`
`|` | `RAYMOD`

    type t = {

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

`}`

APRON Generators of level 0

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

Making a generator. The constant coefficient of the linear expression is ignored. Modifying later the linear expression modifies correspondingly the generator and conversely.

    val copy : t -> t

Copy a generator (deep copy)

    val string_of_typ : typ -> string

Convert a generator type to a string (`LIN`,`RAY`, or `VTX`)

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

Print a generator