My_printtyped These extra functions are an extension of Printtyped module from compiler libs. Maybe in new versions of compiler they will be available out of box.My_untype These extra functions are an extension of Untypeast module from compiler libs. Maybe in new versions of compiler they will be available out of box.Tast_pattern Matching combinators for Typedtree.