package polka

You can search for identifiers within the package.

in-package search v0.2.0

package polka

polka
- Library polka
  - Matrix
  - Polka
  - PolkaIO
  - Polka_lexer
  - Polka_parser
  - Poly
  - Vector
- Sources
  - polka
    
    matrix.ml
    
    polka.ml
    
    polkaIO.ml
    
    polka_lexer.ml
    
    polka_parser.ml
    
    poly.ml
    
    vector.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Polka`Source

Sourceexception Overflow of string

Sourcetype dimsup = {

pos : int;
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

Source

val denominator_of_list : 
  (Big_int.big_int * Big_int.big_int * string) list ->
  Big_int.big_int

Source

val 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

Source

val 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 =

| Egal
| SupEgal
| Sup

Sourcetype gen =

| Vertex
| Ray
| Line

package polka

Module PolkaSource

Module `Polka`Source