litex-lang 0.9.6-beta

A simple formal proof language and verifier, learnable in 2 hours
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13

use crate::prelude::*;

impl Runtime {
    pub fn parse_by_struct_stmt(
        &mut self,
        tb: &mut TokenBlock,
    ) -> Result<Stmt, RuntimeError> {
        tb.skip_token(STRUCT)?;
        tb.skip_token(COLON)?;
        let struct_obj = self.parse_obj(tb)?;
        Ok(ByStructStmt::new(struct_obj, tb.line_file.clone()).into())
    }
}