gensym ?prefix ()
generates a fresh variable name with prefix
.
get_tparam_id tp
tp
if it is a type
parameter.
Returns whether the given type declarations refer to themselves.
short_circuit
allows you to override the search for certain type expressions.
stop_on_functions
allows to disregard the recursive occurences appearing in arrow
types. The default is to disregard them.