Module AsllibSource

module AST : sig ... end

An Abstract Syntax Tree for ASL.

Sourcemodule ASTUtils : sig ... end

This module provides some tools to work on ASL ASTs.

Sourcemodule Asl_stdlib : sig ... end
module Backend : sig ... end

Signature module of the backend of Interpreter.

Sourcemodule Bitvector : sig ... end

This module provide an interface to ASL bitvector, and main operations on it.

Sourcemodule Builder : sig ... end

Builds an AST.t from some files.

Sourcemodule Desugar : sig ... end
Sourcemodule Diet : sig ... end

An interval set implementation using diets.

Sourcemodule Env : sig ... end

The runtime environment used by Interpreter.

Sourcemodule Error : sig ... end

Error handling for Asllib.

module Gparser0 : sig ... end
Sourcemodule Instrumentation : sig ... end

Provide some instrumentation backends for Interpreter and Typing.

Sourcemodule Interpreter : sig ... end

Reference interpreter for ASL.

Sourcemodule Lexer : sig ... end
module Lexer0 : sig ... end
Sourcemodule Native : sig ... end
Sourcemodule Operations : sig ... end
Sourcemodule PP : sig ... end

Pretty-printers for ASL ASTs.

Sourcemodule Parser : sig ... end
module Parser0 : sig ... end
module ParserConfig : sig ... end
module RepeatableLexer : sig ... end
Sourcemodule Serialize : sig ... end

This module converts an AST into a valid ocaml string that represents it.

Sourcemodule SideEffect : sig ... end
module SimpleLexer0 : sig ... end
Sourcemodule Splitasl : sig ... end

Split (ASL) lexbuffer at "// =======..." limits

Sourcemodule StaticEnv : sig ... end

Static Environment used for type-checking (cf Typing.

Sourcemodule StaticInterpreter : sig ... end

Static Interpretation of Expressions.

Sourcemodule StaticModel : sig ... end
Sourcemodule StaticOperations : sig ... end
Sourcemodule Storage : sig ... end

This module produces an map like interface to model memory storage.

Sourcemodule Tokens : sig ... end
Sourcemodule TopoSort : sig ... end

This modules implement a strong component analysis.

Sourcemodule Types : sig ... end

Type Algebra

Sourcemodule Typing : sig ... end

The Typing module is yet a single-entry-point module. It only exports the function annotate_ast which fills type-annotations holes in the AST. It should provide enough information to disambiguate any type-dependent behaviour.

Sourcemodule Version : sig ... end