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
val constrs_of_ty : Imandra_surface.Type.t -> Imandra_surface.Type.t Imandra_surface.Type.adt_row list
val fields_of_ty : Imandra_surface.Type.t -> Imandra_surface__.Uid.t CCList.t