Legend:
Library
Module
Module type
Parameter
Class
Class type

Given an input type itype and an output type otype, returns a (possibly empty) list of expressions of type itype -> otype.