spectec_ast 1.0.0

Parser for SpecTec ASTs in S-expression format
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

# spectec_ast

Parser for SpecTec ASTs in S-expression format.

Reads S-expressions from the sexpr_parse crate into the AST format.

## Usage:

```rust
let input = r#"(typ "m" (inst (alias nat)))"#;
let parsed = parse_spectec_stream(input).unwrap();
assert_eq!(
    parsed,
    vec![SpecTecDef::Typ {
        x: "m".to_string(),
        insts: vec![SpecTecInst::Inst {
            bs: vec![],
            as_: vec![],
            dt: SpecTecDefTyp::Alias {
                typ: SpecTecTyp::Num(SpecTecNumTyp::Nat),
            },
        }],
        ps: vec![],
    },]
);
```