package herdtools7

  1. Overview
  2. Docs
type 't with_pos = 't * Lexing.position * Lexing.position
type 't state = 't with_pos array * int ref
type 't lexer = Lexing.lexbuf -> 't
type 't supplier = unit -> 't with_pos
val get_unsafe : 't state -> 't with_pos
val get : 't state -> 't with_pos
val of_lexer_lexbuf : ('t -> bool) -> 't lexer -> Lexing.lexbuf -> 't state
val to_lexer : 't state -> 't lexer
val to_supplier : 't state -> 't supplier
val copy : 't state -> 't state
val double_lexer : ('t -> bool) -> 't lexer -> Lexing.lexbuf -> 't lexer * 't lexer
OCaml

Innovation. Community. Security.