Relative Content

Tag Archive for ocamlfunctorrecursive-typecatamorphism

Why I get error “The type variable ‘a occurs inside ‘a t” with enabled -rectypes flag

I would like to write catamorphism in OCaml for any endofunctor (in terms of types) as a functor (in terms of OCaml):