elpi

ELPI - Embeddable λProlog Interpreter
Library elpi.trace.ppx
Module Trace_ppx
val err : loc:Ppxlib.Location.t -> string -> 'a
val enabled : bool ref
val has_iftrace_attribute : Ppxlib.attributes -> bool
val has_iftrace : Ppxlib.core_type -> bool
val map_trace : Ppxlib.Ast_traverse.map
val is_string_literal : Ppxlib.expression -> bool
val is_gid : Ppxlib.arg_label -> bool
val is_rid : Ppxlib.arg_label -> bool
val is_cond : Ppxlib.arg_label -> bool
val pull : ( 'a -> bool ) -> ('b * 'c) list -> 'd option * ('b * 'c) list
val err_spy : loc:Ppxlib.Location.t -> unit -> 'a
val spyl_expand_function : loc:Ppxlib.location -> path:'a -> Ppxlib.expression -> Ppxlib_ast.Ast.expression
val spyl_extension : Ppxlib.Extension.t
val spy_expand_function : loc:Ppxlib.location -> path:'a -> Ppxlib.expression -> Ppxlib_ast.Ast.expression
val spy_extension : Ppxlib.Extension.t
val tcall_expand_function : loc:Ppxlib.location -> path:'a -> Ppxlib.expression -> Ppxlib_ast.Ast.expression
val tcall_extension : Ppxlib.Extension.t
val trace_expand_function : loc:Ppxlib.location -> path:'a -> Ppxlib.expression -> Ppxlib_ast.Ast.expression
val trace_extension : Ppxlib.Extension.t
val cur_pred_expand_function : loc:Ppxlib.location -> path:'a -> Ppxlib_ast.Ast.expression -> Ppxlib_ast.Ast.expression
val cur_pred_extension : Ppxlib.Extension.t
val cur_pred_rule : Ppxlib.Context_free.Rule.t
val log_expand_function : loc:Ppxlib.location -> path:'a -> Ppxlib_ast.Ast.expression -> Ppxlib_ast.Ast.expression
val log_extension : Ppxlib.Extension.t
val arg_trace : Ppxlib.Driver.Cookies.t -> unit