Module `Id.Namespace`

module type S = sig ... end

module Internal : S

module Skolem : S

module Abstract : S

val reinit : unit -> unit

Resets the fresh_internal_name, fresh_skolem and fresh_abstract counters.