Module type Region_idx.Args

Argument types of the decomposed function, as a tuple *