Module DcalcSource

Sourcemodule Ast : sig ... end

Abstract syntax tree of the default calculus intermediate representation

Sourcemodule From_scopelang : sig ... end

Scope language to default calculus translator

Sourcemodule Interpreter : sig ... end

Reference interpreter for the default calculus

Sourcemodule Optimizations : sig ... end

Optimization passes for default calculus programs and expressions