Advanced Search

Question: Question about compound / structured types

Question:Question about compound / structured types

greatpet 130 Maple
type
October 12 2020
1

The expressions f(1), f(1,2,3), or f with any number of arguments, all match the type specfunc(f), while the expression f(g(1), 2 ,3) matches the type f(g(anything), anything, anything). However, is there a type which is matched by expressions like f(g(1), 2, 3 ...), with an arbitrary number of arguments after g(something)?

 
Please Wait...