Module Elpi_lexer_config.Lexer_config

type fixity =
  1. | Infixl
  2. | Infixr
  3. | Infix
  4. | Prefix
  5. | Postfix
val pp_fixity : Format.formatter -> fixity -> unit
val fixity_of_string : string -> fixity
type extensible = {
  1. start : string;
  2. mk_token : string -> Tokens.token;
  3. token : string;
  4. non_enclosed : bool;
  5. at_least_one_char : bool;
  6. fixed : string list;
}
type fixed = {
  1. token : string;
  2. the_token : string;
  3. mk_token : Tokens.token;
  4. comment : (int * string) option;
}
type mixfix_kind =
  1. | Fixed of fixed
  2. | Extensible of extensible
type mixfix = {
  1. tokens : mixfix_kind list;
  2. fixity : fixity;
}
val mkFix : ?comment:(int * string) -> 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 comment : int * string
val mixfix_symbols : mixfix list