I have a question on formal arguments passed to a sequence/property
1. What are the formal argument types which can be passed to a sequence? In addition to data types, untyped, events and sequence are there any additional arguments possible?
2. Just like passing parameters to modules or classes, can we pass parameters to the sequences which can be used for delays. This will help in making sequences more general.
3. What are the formal arguments to the property? Can we pass another property as a formal argument to a property?