package sequoia

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type (!'d, !'e, !'f) t = ('d, 'e, 'f) Sequoia.Make(D).Update.OrderBy.Expr.Vector.t =
  1. | [] : ('a, 'b, Sequoia_vector.Nat.z) t
  2. | :: : ('a0, 'b0) mk * ('a0, 'c, 'n) t -> ('a0, 'b0 * 'c, 'n Sequoia_vector.Nat.s) t
type !'z folder = 'z Sequoia.Make(D).Update.OrderBy.Expr.Vector.folder = {
  1. f : 'a 'b. 'z -> ('a, 'b) mk -> 'z;
}
val vector_fold_left : 'z folder -> 'z -> ('a, 'b, 'n) t -> 'z
val vector_length : ('a, 'b, 'n) t -> int
type (!'a, !'b, !'m, !'n) matrix = ('a, 'b, 'm, 'n) Sequoia.Make(D).Update.OrderBy.Expr.Vector.matrix =
  1. | [] : ('a0, 'b0, Sequoia_vector.Nat.z, 'n0) matrix
  2. | :: : ('a1, 'b1, 'n1) t * ('a1, 'b1, 'm0, 'n1) matrix -> ('a1, 'b1, 'm0 Sequoia_vector.Nat.s, 'n1) matrix
val matrix_fold_left : 'z folder -> 'z -> ('a, 'b, 'm, 'n) matrix -> 'z
OCaml

Innovation. Community. Security.