public @interface Flag
ArgumentsLifter
Used to mark flag for proof script commands. For example "instantitate formula='...' ... hide" is denoted as
Option
Modifier and Type | Required Element and Description |
---|---|
java.lang.String |
value
Name of the command line argument.
|