Middle.Expr
MIR types and modules corresponding to the expressions of the language
module Fixed : sig ... end
module Typed : sig ... end
module Helpers : sig ... end