Module PolkaSource

Sourceexception Overflow of string
Sourcetype dimsup = {
  1. pos : int;
  2. nbdims : int;
}
Sourceval strict : bool ref
Sourceval dec : int ref
Sourceval print_limit : int ref
Sourceval initialize : strict:bool -> maxdims:int -> maxrows:int -> unit
Sourceval finalize : unit -> unit
Sourceval set_gc : int -> unit
Sourceval set_widening_affine : unit -> unit
Sourceval set_widening_linear : unit -> unit
Sourceval denominator_of_list : (Big_int.big_int * Big_int.big_int * string) list -> Big_int.big_int
Sourceval to_constraint : (int -> string) -> (int -> Big_int.big_int) -> int -> string
Sourceval to_frame : (int -> string) -> (int -> Big_int.big_int) -> int -> string
Sourceval to_expr : (int -> string) -> (int -> Big_int.big_int) -> int -> string
Sourceval print_list : Format.formatter -> (unit, Format.formatter, unit) format -> (unit, Format.formatter, unit) format -> (unit, Format.formatter, unit) format -> (Format.formatter -> 'a -> unit) -> 'a list -> unit
Sourcetype cons =
  1. | Egal
  2. | SupEgal
  3. | Sup
Sourcetype gen =
  1. | Vertex
  2. | Ray
  3. | Line