Module type Slap_size.SIZE

module type SIZE = sig .. end

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

type n

A generative phantom type.

val value : n Slap_size.t

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