package elpi

  1. Overview
  2. Docs
include Parser
val program : file:string -> Ast.Program.decl list
val goal : loc:Elpi_util.Util.Loc.t -> text:string -> Ast.Goal.t
val program_from : loc:Elpi_util.Util.Loc.t -> Lexing.lexbuf -> Ast.Program.t
module Internal : sig ... end