Functor Slap_size.Of_int_dyn

module Of_int_dyn: functor (N : sig
val value : int
end) -> SIZE

A functor version of of_int_dyn.

Parameters:

N : sig val value : int end

type n

A generative phantom type.

val value : n Slap_size.t

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