type quotation =
language:Ast.Scope.language ->
State.t ->
Ast.Loc.t ->
string ->
Ast.Term.tval set_default_quotation :
?descriptor:Setup.quotations_descriptor ->
quotation ->
unitThe default quotation {{code}}
val register_named_quotation :
?descriptor:Setup.quotations_descriptor ->
name:string ->
quotation ->
Ast.Scope.languageNamed quotation {{name:code}}
val elpi_language : Ast.Scope.languageThe anti-quotation to lambda Prolog
val elpi : quotationLike 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 ->
quotation ->
Ast.Scope.languageval declare_singlequote :
?descriptor:Setup.quotations_descriptor ->
name:string ->
quotation ->
Ast.Scope.languageval new_quotations_descriptor : unit -> Setup.quotations_descriptor