Module Pickles_types.At_most

Implementing structure with pre-defined length

Type definitions

type ('a, 'b) t
type ('a, 'n) at_most = ( 'a, 'n ) t

Module signatures

module type S = sig ... end
module type VERSIONED = sig ... end

Modules

module At_most_2 : VERSIONED with type 'a ty = ( 'a, Nat.N2.n ) at_most
module At_most_8 : VERSIONED with type 'a ty = ( 'a, Nat.N8.n ) at_most
module With_length (N : Nat.Intf) : S with type 'a t = ( 'a, N.n ) at_most
val of_vector : 'a 'n 'm. ( 'a, 'n ) Vector.vec -> ( 'n, 'm ) Nat.Lte.t -> ( 'a, 'm ) t
val to_vector : 'a 'n. ( 'a, 'n ) t -> 'a Vector.e

to_vector m transforms m into a vector