Mind that 'functor' is an ambiguous term in computer science. To an OCaml programmer, a functor is something else: https://realworldocaml.org/v1/en/html/functor

Mind that 'functor' is an ambiguous term in computer science. To an OCaml programmer, a functor is something else: https://realworldocaml.org/v1/en/html/functors.html https://realworldocaml.org/v1/en/html/functors.html A Prolog programmer will also think of something else when he hears the word 'functor'.