package slap

  1. Overview
  2. Docs

A functor version of of_int_dyn.

Parameters

module N : sig ... end

Signature

type n

A generative phantom type.

val value : n t

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