type t = | Empty| OperatorAssignment of AssignmentOperator.t| Labeled of Common.identifier| BlockingAssignment| NonBlockingAssignment| Assign| Deassign| Force| Release| Case| Casex| Casez| Conditional| IncOrDec| SubroutineCall| SubroutineCallVoid| Disable| DisableFork| EventTrigger| EventTriggerNonBlocking| Forever| Repeat| While| For| Do| Foreach| Return| Break| Continue| ParBlock of Common.identifier * JoinSpec.t| ProceduralTimingControl| SeqBlock of Common.identifier| Wait| WaitFork| WaitOrder| ProceduralAssertion| ClockingDrive| Randsequence of Common.identifier| Randcase| ExpectProperty| Expr of Expression.t| PExpr of PropertyExpression.tval to_string : t -> stringval get_name : t -> Common.identifierval to_simple_string : t -> Common.identifierval to_tag : t -> string * (string * Common.identifier) listval get_identifier : t -> Common.identifier