val set_default_quotation :
?descriptor:Setup.quotations_descriptor ->
quotation ->
unitThe default quotation {{code}}
val register_named_quotation :
?descriptor:Setup.quotations_descriptor ->
name:string ->
quotation ->
unitNamed quotation {{name:code}}
val lp : quotationThe anti-quotation to lambda Prolog
val quote_syntax_runtime :
State.t ->
'a Compile.query ->
State.t * Data.term list * Data.termSee elpi-quoted_syntax.elpi (EXPERIMENTAL, used by elpi-checker)
val quote_syntax_compiletime :
State.t ->
'a Compile.query ->
State.t * Data.term list * Data.termTo implement the string_to_term built-in (AVOID, makes little sense * if depth is non zero, since bound variables have no name!)
Like quotations but for identifiers that begin and end with * "`" or "'", e.g. `this` and 'that'. Useful if the object language * needs something that looks like a string but with a custom compilation * (e.g. CD.string like but with a case insensitive comparison)
val declare_backtick :
?descriptor:Setup.quotations_descriptor ->
name:string ->
(State.t -> string -> State.t * Data.term) ->
unitval declare_singlequote :
?descriptor:Setup.quotations_descriptor ->
name:string ->
(State.t -> string -> State.t * Data.term) ->
unitval new_quotations_descriptor : unit -> Setup.quotations_descriptor