-
Petr Pudlak authored
In particular, functions for extracting types of arguments from a function type, and for uncurrying functions with an arbitrary number of arguments. Signed-off-by: Petr Pudlak <pudlak@google.com> Reviewed-by: Klaus Aehlig <aehlig@google.com>
f3a522ff