Can someone help me bridge the gap between this understanding of the definition of functor and the ocaml version?
In ocaml, a functor is a module that takes another module as a parameter. In this, a functor is a type that implements the map method. Is there something I'm missing that explains how both of them are functors?