CodeUnit (cooltt.Core.CodeUnit.CodeUnit)

type t

Some metadata about a given code unit.

val origin : Global.t -> id

Return the name of the code unit that a symbol originated from.

val id : t -> id

The name of a given code unit

val create : id -> t

Create a code unit.

val add_global : 
  unfolder:Global.t option ->
  Ident.t ->
  Domain.tp ->
  t ->
  Global.t * t

Add a binding to a given code unit.

val get_global : Global.t -> t -> Domain.tp

Get the binding associated with a symbol.