package sequoia

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Vectors of expression builders.

type (_, _, _) t =
  1. | [] : ('a, 'b, Sequoia_vector.Nat.z) t
  2. | :: : ('a, 'b) mk * ('a, 'c, 'n) t -> ('a, 'b * 'c, 'n Sequoia_vector.Nat.s) t
type 'z 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 =
  1. | [] : ('a, 'b, Sequoia_vector.Nat.z, 'n) matrix
  2. | :: : ('a, 'b, 'n) t * ('a, 'b, 'm, 'n) matrix -> ('a, 'b, 'm Sequoia_vector.Nat.s, 'n) matrix
val matrix_fold_left : 'z folder -> 'z -> ('a, 'b, 'm, 'n) matrix -> 'z
OCaml

Innovation. Community. Security.