| 24 | /// An identifier -- a variable, term symbol, or type. |
| 25 | #[derive(Clone, Debug, PartialEq, Eq, PartialOrd, Ord, Hash)] |
| 26 | pub struct Ident(pub String, pub Pos); |
| 27 | |
| 28 | /// Pragmas parsed with the `(pragma <ident>)` syntax. |
| 29 | #[derive(Clone, PartialEq, Eq, Debug)] |
no outgoing calls