package sequoia

  1. Overview
  2. Docs
package sequoia
Legend:
Library
Module
Module type
Parameter
Class
Class type
type ('a, 'b) elem
type (!_, !_, !_) t =
  1. | [] : ('a, 'b, Nat.z) t
  2. | :: : ('a0, 'b0) elem * ('a0, 'c, 'n) t -> ('a0, 'b0 * 'c, 'n Nat.s) t
type !'z folder = {
  1. f : 'a 'b. 'z -> ('a, 'b) elem -> 'z;
}
val vector_fold_left : 'z folder -> 'z -> ('a, 'b, 'n) t -> 'z
val vector_length : ('a, 'b, 'n) t -> int
type (!'a1, !'b1, !'m0, !'n1) matrix =
  1. | [] : ('a, 'b, Nat.z, 'n) matrix
  2. | :: : ('a0, 'b0, 'n0) t * ('a0, 'b0, 'm, 'n0) matrix -> ('a0, 'b0, 'm Nat.s, 'n0) matrix
val matrix_fold_left : 'z folder -> 'z -> ('a, 'b, 'm, 'n) matrix -> 'z