Frama-C:
Plug-ins:
Libraries:

Frama-C API - Generator0

type typ =
  1. | LINE
  2. | RAY
  3. | VERTEX
  4. | LINEMOD
  5. | RAYMOD
and t = {
  1. mutable linexpr0 : Linexpr0.t;
  2. mutable typ : typ;
}
val make : Linexpr0.t -> typ -> t
val copy : t -> t
val string_of_typ : typ -> string
val print : (Dim.t -> string) -> Stdlib.Format.formatter -> t -> unit