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 `Vector`Source

Sourcetype t

Sourceand dimsup = Polka.dimsup

Sourceval dummy : t

Sourceval make : int -> t

Sourceval copy : t -> t

Sourceval _print : t -> unit

Sourceval get : t -> int -> int

Sourceval get_str10 : t -> int -> string

Sourceval set : t -> int -> int -> unit

Sourceval set_str10 : t -> int -> string -> unit

Sourceval length : t -> int

Sourceval compare : t -> t -> int

Sourceval compare_expr : t -> t -> int

Sourceval hash : t -> int

Sourceval product : t -> t -> int

Sourceval product_strict : t -> t -> int

Sourceval norm : t -> unit

Sourceval norm_expr : t -> unit

Sourceval add_expr : t -> t -> t

Sourceval sub_expr : t -> t -> t

Sourceval scale_expr : int -> int -> t -> t

Sourceval add_dims : int -> t -> t

Sourceval add_dims_multi : t -> dimsup array -> t

Sourceval del_dims_multi : t -> dimsup array -> t

Sourceval add_permute_dims : t -> int -> int array -> t

Sourceval permute_del_dims : t -> int -> int array -> t

Sourceval is_positivity_constraint : t -> bool

Sourceval is_strictness_constraint : t -> bool

Sourceval is_dummy_constraint : t -> bool

Sourceval get_big_int : t -> int -> Big_int.big_int

Sourceval set_big_int : t -> int -> Big_int.big_int -> unit

Sourceval to_constraint : (int -> string) -> t -> string

Sourceval to_frame : (int -> string) -> t -> string

Sourceval to_expr : (int -> string) -> t -> string

Sourceval print : Format.formatter -> t -> unit

Sourceval print_constraint : (int -> string) -> Format.formatter -> t -> unit

Sourceval print_frame : (int -> string) -> Format.formatter -> t -> unit

Sourceval print_expr : (int -> string) -> Format.formatter -> t -> unit

Sourceval of_constraint : (string -> int) -> int -> string -> t

Sourceval of_frame : (string -> int) -> int -> string -> t

Sourceval of_expr : (string -> int) -> int -> string -> t

package polka

Module VectorSource

Module `Vector`Source