package elpi

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

Module API.RawQuerySource

This module lets one generate a query by providing a RawData.term directly

with the possibility to update the state in which the query will run

generate the query ast term with a function. The resulting term is typed, spilled, etc

generate the query term by hand, the result is used as is

Sourceval term_to_raw_term : State.t -> Compile.program -> ?ctx:RawData.constant Ast.Scope.Map.t -> depth:int -> Ast.Term.t -> State.t * Data.term

typechecks only if ctx is empty

Sourceval global_name_to_constant : State.t -> string -> RawData.constant

raises Not_found