package sequoia

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Vector : sig ... end
val replace : into:'t Sequoia_table.t -> fields:('t, 'a, 'n Sequoia_vector.Nat.s) Vector.t -> values: ('u, 'a, 'm Sequoia_vector.Nat.s, 'n Sequoia_vector.Nat.s) Sequoia_lit.Vector.matrix -> 't t
val seal : 't t -> string * Sequoia_param.t list