package elpi

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

Module Runtime_trace_off.CompileTimeSource

Sourceval add_to_index : det_check:float Stdlib.ref option -> depth:int -> predicate:Elpi_util.Util.constant -> graft:Elpi_parser.Ast.Structured.insertion option -> Data.clause -> string option -> Data.index -> Data.pred_info -> Data.index * (Data.overlap_clause option * Data.pred_info)
Sourceval clausify1 : tail_cut:bool -> loc:Elpi_util.Util.Loc.t -> modes:(Elpi_util.Util.constant -> Elpi_util.Util.Mode.hos) -> nargs:int -> depth:int -> Data.term -> (Elpi_util.Util.constant * Data.clause) * Data.clause_src * int
Sourceval fresh_uvar : unit -> Data.uvar_body
OCaml

Innovation. Community. Security.