package elpi

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

module StrSet : sig ... end

type flags = {

}

val default_flags : flags

type program

type 'a query

type 'a executable

exception CompileError of Ast.Loc.t option * string

val program : flags:flags -> elpi:Setup.elpi -> Ast.program list -> program

type compilation_unit

val unit : elpi:Setup.elpi -> flags:flags -> Ast.program -> compilation_unit

val assemble : elpi:Setup.elpi -> compilation_unit list -> program

val query : program -> Ast.query -> unit query

val optimize : 'a query -> 'a executable

val static_check : checker:program -> 'a query -> bool

Runs a checker. Returns true if no errors were found. See also Builtins.default_checker.