package slap

  1. Overview
  2. Docs

A functor version of of_array.

Parameters

module X : sig ... end

Signature

type n

A generative phantom type.

val value : (n, 'cnt) vec

A dynamically-sized contiguous vector with type like exists n. (n, 'cnt) vec.