package elpi

  1. Overview
  2. Docs
val program : elpi:Setup.elpi -> ?print_accumulated_files:bool -> string list -> Ast.program

program file_list parses a list of files

val program_from_stream : elpi:Setup.elpi -> ?print_accumulated_files:bool -> Ast.Loc.t -> char Stream.t -> Ast.program
val goal : Ast.Loc.t -> string -> Ast.query

goal file_list parses the query

val goal_from_stream : Ast.Loc.t -> char Stream.t -> Ast.query
exception ParseError of Ast.Loc.t * string