LazyDoc (hax-engine.Hax_engine.Generated_generic_printer

type 'a lazy_doc =
  < compact : PPrint.output -> Prelude.unit
  ; pretty : 
    PPrint.output ->
    PPrint.state ->
    Prelude.int ->
    Prelude.bool ->
    Prelude.unit
  ; requirement : Prelude.int
  ; p : PPrint.document
  ; v : 'a
  ; ast_position : ast_position >

val lazy_doc : 'a. ('a -> PPrint.document) -> ast_position -> 'a -> 'a lazy_doc