Type Definition Identifier
Other items insmt2parser::concrete
type Identifier = Identifier<Symbol>;
Concrete identifier.