package GuaCaml

  1. Overview
  2. Docs
package GuaCaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
type 'a v0 = unit
type !'a v1 = 'a
type !'a v2 = 'a * 'a
type !'a v3 = 'a * 'a * 'a
type !'a v4 = 'a * 'a * 'a * 'a
val v1_max : 'a -> 'a
val v2_max : ('a * 'a) -> 'a
val v3_max : ('a * 'a * 'a) -> 'a
val v4_max : ('a * 'a * 'a * 'a) -> 'a
val v0_rev : 'a v0 -> 'a v0
val v1_rev : 'a v1 -> 'a v1
val v2_rev : 'a v2 -> 'a v2
val v3_rev : 'a v3 -> 'a v3
val v4_rev : 'a v4 -> 'a v4
val v1_get : int -> 'a -> 'a
val v2_get : int -> ('a * 'a) -> 'a
val v3_get : int -> ('a * 'a * 'a) -> 'a
val v4_get : int -> ('a * 'a * 'a * 'a) -> 'a
val v1_get' : 'a -> int -> 'a
val v2_get' : ('a * 'a) -> int -> 'a
val v3_get' : ('a * 'a * 'a) -> int -> 'a
val v4_get' : ('a * 'a * 'a * 'a) -> int -> 'a
val v1_argmax : 'a -> int
val v2_argmax : ('a * 'a) -> int
val v3_argmax : ('a * 'a * 'a) -> int
val v4_argmax : ('a * 'a * 'a * 'a) -> int
val v1_argmin : 'a -> int
val v2_argmin : ('a * 'a) -> int
val v3_argmin : ('a * 'a * 'a) -> int
val v4_argmin : ('a * 'a * 'a * 'a) -> int
val v1_0 : 'a -> 'a
val v2_0 : ('a * 'b) -> 'a
val v2_1 : ('a * 'b) -> 'b
val v3_0 : ('a * 'b * 'c) -> 'a
val v3_1 : ('a * 'b * 'c) -> 'b
val v3_2 : ('a * 'b * 'c) -> 'c
val v4_0 : ('a * 'b * 'c * 'd) -> 'a
val v4_1 : ('a * 'b * 'c * 'd) -> 'b
val v4_2 : ('a * 'b * 'c * 'd) -> 'c
val v4_3 : ('a * 'b * 'c * 'd) -> 'd
val v0_map : ('a -> 'b) -> 'a v0 -> 'b v0
val v0_map2 : ('a -> 'b -> 'c) -> 'a v0 -> 'b v0 -> 'c v0
val v1_map : ('a -> 'b) -> 'a v1 -> 'b v1
val v1_map2 : ('a -> 'b -> 'c) -> 'a v1 -> 'b v1 -> 'c v1
val v2_map : ('a -> 'b) -> 'a v2 -> 'b v2
val v2_map2 : ('a -> 'b -> 'c) -> 'a v2 -> 'b v2 -> 'c v2
val v3_map : ('a -> 'b) -> 'a v3 -> 'b v3
val v3_map2 : ('a -> 'b -> 'c) -> 'a v3 -> 'b v3 -> 'c v3
val v4_map : ('a -> 'b) -> 'a v4 -> 'b v4
val v4_map2 : ('a -> 'b -> 'c) -> 'a v4 -> 'b v4 -> 'c v4
val v0_map_X_y : ('a -> 'b -> 'c) -> 'a -> 'b v0 -> 'c v0
val v1_map_X_y : ('a -> 'b -> 'c) -> 'a -> 'b v1 -> 'c v1
val v2_map_X_y : ('a -> 'b -> 'c) -> 'a -> 'b v2 -> 'c v2
val v3_map_X_y : ('a -> 'b -> 'c) -> 'a -> 'b v3 -> 'c v3
val v4_map_X_y : ('a -> 'b -> 'c) -> 'a -> 'b v4 -> 'c v4
val v0_map_x_Y : ('a -> 'b -> 'c) -> 'a v0 -> 'b -> 'c v0
val v1_map_x_Y : ('a -> 'b -> 'c) -> 'a v1 -> 'b -> 'c v1
val v2_map_x_Y : ('a -> 'b -> 'c) -> 'a v2 -> 'b -> 'c v2
val v3_map_x_Y : ('a -> 'b -> 'c) -> 'a v3 -> 'b -> 'c v3
val v4_map_x_Y : ('a -> 'b -> 'c) -> 'a v4 -> 'b -> 'c v4
val v0_perm : 'a v0 -> unit -> 'a v0
val v1_perm : 'a v1 -> int v1 -> 'a v1
val v2_perm : 'a v2 -> int v2 -> 'a v2
val v3_perm : 'a v3 -> int v3 -> 'a v3
val v4_perm : 'a v4 -> int v4 -> 'a v4
val v0_sort : 'a v0 -> 'a v0
val v1_sort : 'a v1 -> 'a v1
val v2_sort : 'a v2 -> 'a v2
val v3_sort : 'a v3 -> 'a v3
val v0_cosort : unit -> 'a v0 -> 'a v0
val v1_cosort : 'b v1 -> 'a v1 -> 'a v1
val v2_cosort : 'b v2 -> 'a v2 -> 'a v2
val v3_cosort : 'b v3 -> 'a v3 -> 'a v3
type i0 = int v0
type i1 = int v1
type i2 = int v2
type i3 = int v3
type i4 = int v4
val i0_add_x_y : int v0 -> int v0 -> int v0
val i1_add_x_y : int v1 -> int v1 -> int v1
val i2_add_x_y : int v2 -> int v2 -> int v2
val i3_add_x_y : int v3 -> int v3 -> int v3
val i4_add_x_y : int v4 -> int v4 -> int v4
val i0_add_X_y : int -> int v0 -> int v0
val i1_add_X_y : int -> int v1 -> int v1
val i2_add_X_y : int -> int v2 -> int v2
val i3_add_X_y : int -> int v3 -> int v3
val i4_add_X_y : int -> int v4 -> int v4
val i0_add_x_Y : int v0 -> int -> int v0
val i1_add_x_Y : int v1 -> int -> int v1
val i2_add_x_Y : int v2 -> int -> int v2
val i3_add_x_Y : int v3 -> int -> int v3
val i4_add_x_Y : int v4 -> int -> int v4
val i0_sub_x_y : int v0 -> int v0 -> int v0
val i1_sub_x_y : int v1 -> int v1 -> int v1
val i2_sub_x_y : int v2 -> int v2 -> int v2
val i3_sub_x_y : int v3 -> int v3 -> int v3
val i4_sub_x_y : int v4 -> int v4 -> int v4
val i0_sub_X_y : int -> int v0 -> int v0
val i1_sub_X_y : int -> int v1 -> int v1
val i2_sub_X_y : int -> int v2 -> int v2
val i3_sub_X_y : int -> int v3 -> int v3
val i4_sub_X_y : int -> int v4 -> int v4
val i0_sub_x_Y : int v0 -> int -> int v0
val i1_sub_x_Y : int v1 -> int -> int v1
val i2_sub_x_Y : int v2 -> int -> int v2
val i3_sub_x_Y : int v3 -> int -> int v3
val i4_sub_x_Y : int v4 -> int -> int v4
val i0_mul_x_y : int v0 -> int v0 -> int v0
val i1_mul_x_y : int v1 -> int v1 -> int v1
val i2_mul_x_y : int v2 -> int v2 -> int v2
val i3_mul_x_y : int v3 -> int v3 -> int v3
val i4_mul_x_y : int v4 -> int v4 -> int v4
val i0_mul_X_y : int -> int v0 -> int v0
val i1_mul_X_y : int -> int v1 -> int v1
val i2_mul_X_y : int -> int v2 -> int v2
val i3_mul_X_y : int -> int v3 -> int v3
val i4_mul_X_y : int -> int v4 -> int v4
val i0_mul_x_Y : int v0 -> int -> int v0
val i1_mul_x_Y : int v1 -> int -> int v1
val i2_mul_x_Y : int v2 -> int -> int v2
val i3_mul_x_Y : int v3 -> int -> int v3
val i4_mul_x_Y : int v4 -> int -> int v4
val i0_div_x_y : int v0 -> int v0 -> int v0
val i1_div_x_y : int v1 -> int v1 -> int v1
val i2_div_x_y : int v2 -> int v2 -> int v2
val i3_div_x_y : int v3 -> int v3 -> int v3
val i4_div_x_y : int v4 -> int v4 -> int v4
val i0_div_X_y : int -> int v0 -> int v0
val i1_div_X_y : int -> int v1 -> int v1
val i2_div_X_y : int -> int v2 -> int v2
val i3_div_X_y : int -> int v3 -> int v3
val i4_div_X_y : int -> int v4 -> int v4
val i0_div_x_Y : int v0 -> int -> int v0
val i1_div_x_Y : int v1 -> int -> int v1
val i2_div_x_Y : int v2 -> int -> int v2
val i3_div_x_Y : int v3 -> int -> int v3
val i4_div_x_Y : int v4 -> int -> int v4
type f0 = float v0
type f1 = float v1
type f2 = float v2
type f3 = float v3
type f4 = float v4
val f0_add_x_y : float v0 -> float v0 -> float v0
val f1_add_x_y : float v1 -> float v1 -> float v1
val f2_add_x_y : float v2 -> float v2 -> float v2
val f3_add_x_y : float v3 -> float v3 -> float v3
val f4_add_x_y : float v4 -> float v4 -> float v4
val f0_add_X_y : float -> float v0 -> float v0
val f1_add_X_y : float -> float v1 -> float v1
val f2_add_X_y : float -> float v2 -> float v2
val f3_add_X_y : float -> float v3 -> float v3
val f4_add_X_y : float -> float v4 -> float v4
val f0_add_x_Y : float v0 -> float -> float v0
val f1_add_x_Y : float v1 -> float -> float v1
val f2_add_x_Y : float v2 -> float -> float v2
val f3_add_x_Y : float v3 -> float -> float v3
val f4_add_x_Y : float v4 -> float -> float v4
val f0_sub_x_y : float v0 -> float v0 -> float v0
val f1_sub_x_y : float v1 -> float v1 -> float v1
val f2_sub_x_y : float v2 -> float v2 -> float v2
val f3_sub_x_y : float v3 -> float v3 -> float v3
val f4_sub_x_y : float v4 -> float v4 -> float v4
val f0_sub_X_y : float -> float v0 -> float v0
val f1_sub_X_y : float -> float v1 -> float v1
val f2_sub_X_y : float -> float v2 -> float v2
val f3_sub_X_y : float -> float v3 -> float v3
val f4_sub_X_y : float -> float v4 -> float v4
val f0_sub_x_Y : float v0 -> float -> float v0
val f1_sub_x_Y : float v1 -> float -> float v1
val f2_sub_x_Y : float v2 -> float -> float v2
val f3_sub_x_Y : float v3 -> float -> float v3
val f4_sub_x_Y : float v4 -> float -> float v4
val f0_mul_x_y : float v0 -> float v0 -> float v0
val f1_mul_x_y : float v1 -> float v1 -> float v1
val f2_mul_x_y : float v2 -> float v2 -> float v2
val f3_mul_x_y : float v3 -> float v3 -> float v3
val f4_mul_x_y : float v4 -> float v4 -> float v4
val f0_mul_X_y : float -> float v0 -> float v0
val f1_mul_X_y : float -> float v1 -> float v1
val f2_mul_X_y : float -> float v2 -> float v2
val f3_mul_X_y : float -> float v3 -> float v3
val f4_mul_X_y : float -> float v4 -> float v4
val f0_mul_x_Y : float v0 -> float -> float v0
val f1_mul_x_Y : float v1 -> float -> float v1
val f2_mul_x_Y : float v2 -> float -> float v2
val f3_mul_x_Y : float v3 -> float -> float v3
val f4_mul_x_Y : float v4 -> float -> float v4
val f0_div_x_y : float v0 -> float v0 -> float v0
val f1_div_x_y : float v1 -> float v1 -> float v1
val f2_div_x_y : float v2 -> float v2 -> float v2
val f3_div_x_y : float v3 -> float v3 -> float v3
val f4_div_x_y : float v4 -> float v4 -> float v4
val f0_div_X_y : float -> float v0 -> float v0
val f1_div_X_y : float -> float v1 -> float v1
val f2_div_X_y : float -> float v2 -> float v2
val f3_div_X_y : float -> float v3 -> float v3
val f4_div_X_y : float -> float v4 -> float v4
val f0_div_x_Y : float v0 -> float -> float v0
val f1_div_x_Y : float v1 -> float -> float v1
val f2_div_x_Y : float v2 -> float -> float v2
val f3_div_x_Y : float v3 -> float -> float v3
val f4_div_x_Y : float v4 -> float -> float v4
val i0_of_f0 : float v0 -> int v0
val i1_of_f1 : float v1 -> int v1
val i2_of_f2 : float v2 -> int v2
val i3_of_f3 : float v3 -> int v3
val i4_of_f4 : float v4 -> int v4
val f0_of_i0 : int v0 -> float v0
val f1_of_i1 : int v1 -> float v1
val f2_of_i2 : int v2 -> float v2
val f3_of_i3 : int v3 -> float v3
val f4_of_i4 : int v4 -> float v4
val v0_fold_left : ('a -> 'b -> 'a) -> 'a -> 'b v0 -> 'a
val v1_fold_left : ('a -> 'b -> 'a) -> 'a -> 'b v1 -> 'a
val v2_fold_left : ('a -> 'b -> 'a) -> 'a -> 'b v2 -> 'a
val v3_fold_left : ('a -> 'b -> 'a) -> 'a -> 'b v3 -> 'a
val v4_fold_left : ('a -> 'b -> 'a) -> 'a -> 'b v4 -> 'a
val i0_fold_add : int v0 -> int
val i1_fold_add : int v1 -> int
val i2_fold_add : int v2 -> int
val i3_fold_add : int v3 -> int
val i4_fold_add : int v4 -> int
val i0_fold_mul : int v0 -> int
val i1_fold_mul : int v1 -> int
val i2_fold_mul : int v2 -> int
val i3_fold_mul : int v3 -> int
val i4_fold_mul : int v4 -> int
val f0_fold_add : float v0 -> float
val f1_fold_add : float v1 -> float
val f2_fold_add : float v2 -> float
val f3_fold_add : float v3 -> float
val f4_fold_add : float v4 -> float
val f0_fold_mul : float v0 -> float
val f1_fold_mul : float v1 -> float
val f2_fold_mul : float v2 -> float
val f3_fold_mul : float v3 -> float
val f4_fold_mul : float v4 -> float
val i0_sp : unit -> unit -> int
val i1_sp : int v1 -> int v1 -> int
val i2_sp : int v2 -> int v2 -> int
val i3_sp : int v3 -> int v3 -> int
val i4_sp : int v4 -> int v4 -> int
val f0_sp : unit -> unit -> float
val f1_sp : float v1 -> float v1 -> float
val f2_sp : float v2 -> float v2 -> float
val f3_sp : float v3 -> float v3 -> float
val f4_sp : float v4 -> float v4 -> float
val i2_vp : (int * int) -> (int * int) -> int
val i3_vp : (int * int * int) -> (int * int * int) -> int * int * int
val f2_vp : (float * float) -> (float * float) -> float
val f3_vp : (float * float * float) -> (float * float * float) -> float * float * float
type (!'t0, !'t1) c2 =
  1. | C2_0 of 't0
  2. | C2_1 of 't1
type (!'t0, !'t1, !'t2) c3 =
  1. | C3_0 of 't0
  2. | C3_1 of 't1
  3. | C3_2 of 't2
type (!'t0, !'t1, !'t2, !'t3) c4 =
  1. | C4_0 of 't0
  2. | C4_1 of 't1
  3. | C4_2 of 't2
  4. | C4_3 of 't3
type !'a o1 =
  1. | O1_0
  2. | O1_1 of 'a
type !'a o2 =
  1. | O2_0
  2. | O2_1 of 'a
  3. | O2_2 of 'a * 'a