pub fn print_block_source(&self, index: usize) -> Option<String> {
        let block = if index == 0 {
            &self.authority
        } else {
            match self.blocks.get(index - 1) {
                None => return None,
                Some(block) => block,
            }
        };

        Some(block.print_source(&self.symbols))
    }
/// prints the content of a block as Datalog source code
prints the content of a block as Datalog source code
prints the content of a block as Datalog source code
pub fn print_block_source(&self, index: usize) -> Option<String> {
        let block = if index == 0 {
            &self.authority
        } else {
            match self.blocks.get(index - 1) {
                None => return None,
                Some(block) => block,
            }
        };
        Some(block.print_source(&self.symbols))
    }
pub fn print_block_source ( & self , index : usize ) -> Option < String > { let block = if index == 0 { & self . authority } else { match self . blocks . get ( index - 1 ) { None => return None , Some ( block ) => block , } } ; Some ( block . print_source ( & self . symbols ) ) }
prints the content of a block as Datalog source code
prints the content of a block as Datalog source code
&self
index
usize
&self
index
usize