package fix

  1. Overview
  2. Docs

Const(struct let cardinal = c end) creates a fresh type-level name for a set whose cardinal is c. c must be nonnegative.

Parameters

module X : sig ... end

Signature

type n
val n : n cardinal
OCaml

Innovation. Community. Security.