package herdtools7

  1. Overview
  2. Docs
type 't with_pos = 't * Stdlib.Lexing.position * Stdlib.Lexing.position
type 't state = 't with_pos array * int Stdlib.ref
type 't lexer = Stdlib.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 -> Stdlib.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 -> Stdlib.Lexing.lexbuf -> 't lexer * 't lexer
OCaml

Innovation. Community. Security.