Module Madcast

val derive : Parsetree.core_type -> Parsetree.core_type -> Parsetree.expression list

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