typing/oprint: linear implementation of the functor printing heuristic
typing/oprint: linear implementation of the functor printing heuristic

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