1 2 3 4 5
definition module partition import syntax, transform partitionateFunctions :: !*{# FunDef} ![IndexRange] -> (!*{! Group}, !*{# FunDef})