package wax-lib

  1. Overview
  2. Docs
package wax-lib
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Typing_env.NamespaceSource

A name table holding one binding per name: a run of the typer is one configuration, so a branch it does not select registers nothing. Only the type is exposed here; the operations live in Typing's Namespace (they emit diagnostics through its Error).

Sourcetype t = {
  1. tbl : (string, string * Ast.location) Hashtbl.t;
}