Module Imandra_tools.Term_utils

module T = Imandra_surface.Term
val iter : f:( T.t -> unit ) -> T.t -> unit
val prewalk : f:( T.t -> T.t ) -> T.t -> T.t
val gather : f:( T.t -> 'a option ) -> T.t -> 'a list
val eq_to_isa : T.t -> T.t
val hd_tl_to_destruct : T.t -> T.t
val flatten_let : T.t -> T.t