elpi

ELPI - Embeddable λProlog Interpreter
Library elpi.lexer_config
type fixity =
| Infixl
| Infixr
| Infix
| Prefix
| Postfix
val pp_fixity : Format.formatter -> fixity -> unit
val fixity_of_string : string -> fixity
type extensible = {
start : string;
mk_token : string -> Tokens.token;
token : string;
non_enclosed : bool;
at_least_one_char : bool;
fixed : string list;
}
type fixed = {
token : string;
the_token : string;
mk_token : Tokens.token;
}
type mixfix_kind =
| Fixed of fixed
| Extensible of extensible
type mixfix = {
tokens : mixfix_kind list;
fixity : fixity;
}
val mkFix : string -> string -> Tokens.token -> mixfix_kind
val mkExt : string -> string -> ?non_enclosed:bool -> ?at_least_one_char:bool -> ?fixed:string list -> ( string -> Tokens.token ) -> mixfix_kind
val mixfix_symbols : mixfix list