Module Mlsem_common

module Eid : sig ... end

Identifiers for expressions.

module Position : sig ... end

Extension of standard library's positions.

module Variable : sig ... end

Program variables.

module VarSet = VarSet
module VarMap = VarMap
module REnv : sig ... end

Refinement environment: a conjunction of constraints "variable v has type t", used to narrow a typing environment at a given program point.

module Env : sig ... end

Typing environment: binds each variable in scope to a type scheme.