« Previous | Next » 

Revision f3a522ff

IDf3a522ff08cd1b27910c584923404652a616742c

Added by Petr Pudlak almost 7 years ago

Add common functions for working with TH's Type

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 <>
Reviewed-by: Klaus Aehlig <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences