Debug (hax-engine.Fstar_backend.Attrs.U.Debug)

val expr : 
  ?label:Hax_engine.Prelude.string ->
  AST.expr ->
  Hax_engine.Prelude.unit

val item' : 
  ?label:Hax_engine.Prelude.string ->
  AST.item ->
  Hax_engine.Prelude.string

val item : 
  ?label:Hax_engine.Prelude.string ->
  AST.item ->
  Hax_engine.Prelude.unit