package elpi

  1. Overview
  2. Docs

Parameters

module C : Config

Signature

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