Load.mli

open Basis

type error =
  | LexingError of {span : LexingUtil.span; last_token: string option}
  | ParseError of {span : LexingUtil.span; last_token: string option}

(* Load and parse a file or stdin *)
val load_file : [`Stdin | `File of string] -> (ConcreteSyntax.signature, error) result

val prepare_repl : unit -> in_channel * Lexing.lexbuf
val load_cmd : Lexing.lexbuf -> (ConcreteSyntax.command, error) result