Media Summary: Defining module types with signatures Textbook: How to infer the types of constants and names in HM type inference Textbook: How to implement the `fold_left` and `fold_right` functionals on lists. Textbook:
Named Functions Ocaml Programming Chapter - Detailed Analysis & Overview
Defining module types with signatures Textbook: How to infer the types of constants and names in HM type inference Textbook: How to implement the `fold_left` and `fold_right` functionals on lists. Textbook: Distributing a module and its type into two specially-
