Ssreflect Users Discussion List

[<>]

> Implicit arguments are not less robust than ML polymorphism. 

I am not saying implicit arguments are less robust :-)
Implicit arguments could make *my script* fragile,
since I often make small rearrangement of axioms, 
e.g. permutation of assumptions.
Besides, currently I only use ssr's ML polymorphism 
when the application is saturated at the end.

> You can use the @ notation to turn them off for a given application 

Thank you for the help.

Best regards,
Keiko