Runner (EML.EML_lib.Middleend.Runner)

SPDX-License-Identifier: LGPL-3.0-or-later

type error =

val pp_error : Stdlib.Format.formatter -> error -> unit

val run : 
  Frontend.Ast.program ->
  Inferencer.TypeEnv.t ->
  (Middleend.Anf.anf_program * Inferencer.TypeEnv.t, error) Stdlib.Result.t