package elpi

  1. Overview
  2. Docs

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 : name:string -> (Compile.State.t -> string -> Compile.State.t * Data.term) -> unit
val declare_singlequote : name:string -> (Compile.State.t -> string -> Compile.State.t * Data.term) -> unit
OCaml

Innovation. Community. Security.