-
John van Groningen authored
add type constraints in constructors and function arguments with universal quantifier (from iTask branch)
72c24161
add type constraints in constructors and function arguments with universal quantifier (from iTask branch)