Frontend.Ast_to_MirTranslate from the AST to the MIR
val gather_declarations :
Ast.typed_statement Ast.block option ->
(Middle.Expr.Typed.t Middle.SizedType.t
* Middle.Expr.Typed.t Middle.Transformation.t
* string)
listval trans_prog : string -> Ast.typed_program -> Middle.Program.Typed.t