package elpi

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Parse.MakeSource

Parameters

module C : Config

Signature

include Parser
Sourceval program : file:string -> Ast.Program.decl list
Sourceval goal : loc:Elpi_util.Util.Loc.t -> text:string -> Ast.Goal.t
Sourcemodule Internal : sig ... end
OCaml

Innovation. Community. Security.