Module Verilog_parsing.TokenbufferSource

module Xlist = Diffast_misc.Xlist
module Xqueue = Diffast_misc.Xqueue
module Xstring = Diffast_misc.Xstring
Sourcemodule Aux = Parser_aux
Sourcemodule L = Label
Sourcemodule C = Context
Sourceval sprintf : ('a, unit, string) format -> 'a
Sourceval lexposs_to_offsets : (Lexing.position * Lexing.position) -> int * int
Sourcetype branch_tag =
  1. | BTifdef of string * Loc.t
  2. | BTifndef of string * Loc.t
  3. | BTelsif of string
  4. | BTelse
  5. | BTcontext
  6. | BTselected
  7. | BTdummy
Sourceval branch_tag_to_string : branch_tag -> string
Sourceval loc_of_branch_tag : branch_tag -> Loc.t
Sourcemodule F (Stat : Aux.STATE_T) : sig ... end