package ocaml-base-compiler

  1. Overview
  2. Docs
module type BaseId = sig ... end

Generic identifier type

module type Id = sig ... end
module type UnitId = sig ... end

Fully qualified identifiers

module Id (E : sig ... end) : Id

If applied generatively, i.e. Id(struct end), creates a new type of identifiers.