span_helper (hax-engine.Hax_engine.Generic_printer.span

method span_data : Annotation.t Hax_engine.Prelude.list

Get the span annotation accumulated while printing

method with_span : span:Hax_engine.Ast.span ->
  (Hax_engine.Prelude.unit -> PPrint.document) ->
  PPrint.document

Runs the printer `f` under a node of span `span`

method current_span : Hax_engine.Ast.span

Get the current span