typedecl_separability: protect against infinite cyclic types
typedecl_separability: protect against infinite cyclic types

gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml