Module Mlsem_lang

module Ast : sig ... end
module Config : sig ... end

Properties of the source language that the translation to the functional core must respect.

module Const : sig ... end
module MAst : sig ... end
module MVariable : sig ... end
module Optimize : sig ... end

Dataflow optimization of the minimal imperative language.

module Transform : sig ... end

Compilation of the full language down to the functional core.