litex-lang 0.9.86-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

use crate::prelude::*;

impl Runtime {
    pub fn parse_by_family_stmt(&mut self, tb: &mut TokenBlock) -> Result<Stmt, RuntimeError> {
        tb.skip_token(FAMILY)?;
        tb.skip_token(AS)?;
        tb.skip_token(SET)?;
        tb.skip_token(COLON)?;
        let family_obj = self.parse_obj(tb)?;
        Ok(ByFamilyAsSetStmt::new(family_obj, tb.line_file.clone()).into())
    }
}