package slap

  1. Overview
  2. Docs

The signature of modules containing dynamically-sized discrete vectors.

type n

A generative phantom type.

val value : (n, Slap_misc.dsc) vec

A dynamically-sized discrete vector with type like exists n. (n, dsc) vec.