Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
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