package elpi

  1. Overview
  2. Docs

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

val mk_Arg : State.t -> name:string -> args:Data.term list -> State.t * Data.term
val is_Arg : State.t -> Data.term -> bool
val compile : Compile.program -> (depth:int -> State.t -> State.t * (Ast.Loc.t * Data.term) * Conversion.extra_goals) -> unit Compile.query