Print_rust (hax-engine.Hax_engine.Print

module AnnotatedString : sig ... end

val pitem : Ast.Full.item -> AnnotatedString.Output.t

val pitems : Ast.Full.item list -> AnnotatedString.Output.t

val pitem_str : Ast.Full.item -> string

val pexpr_str : Ast.Full.expr -> string

val pty_str : Ast.Full.ty -> string