(new type_is_recursive rec_flag tds)#go ()
returns whether rec_flag, tds
is really
a recursive type. We disregard recursive occurrences appearing in arrow types. You can
override the search for certain type expressions by inheriting from this class.
val type_names : Ppx_core__.Import.string Ppx_core__.Import.list
method return_true : Ppx_core__.Import.unit ‑> Ppx_core__.Import.unit
method go : Ppx_core__.Import.unit ‑> Ppx_core__.Import.rec_flag