package slap

  1. Overview
  2. Docs

The signature of modules as packages of types like exists n. n Size.t.

type n

A generative phantom type.

val value : n t

A dynamically-decided size with type like exists n. n Size.t.