pub(crate) fn new(id: BlockId, global: Global, name: Option<Box<str>>) -> Self {
        Self {
            inner: Rc::new(BlockInner {
                id,
                inputs: Cell::new(0),
                name,
                global,
                open: Cell::new(true),
                vars: RefCell::new(BTreeMap::new()),
                incomplete: RefCell::new(Vec::new()),
                term: RefCell::new(Term::Panic),
                ancestors: RefCell::new(Vec::new()),
            }),
        }
    }
/// Construct a new empty block.
Construct a new empty block.
Construct a new empty block .
pub(crate) fn new(id: BlockId, global: Global, name: Option<Box<str>>) -> Self {
        Self {
            inner: Rc::new(BlockInner {
                id,
                inputs: Cell::new(0),
                name,
                global,
                open: Cell::new(true),
                vars: RefCell::new(BTreeMap::new()),
                incomplete: RefCell::new(Vec::new()),
                term: RefCell::new(Term::Panic),
                ancestors: RefCell::new(Vec::new()),
            }),
        }
    }
pub ( crate ) fn new ( id : BlockId , global : Global , name : Option < Box < str > > ) -> Self { Self { inner : Rc :: new ( BlockInner { id , inputs : Cell :: new ( 0 ) , name , global , open : Cell :: new ( true ) , vars : RefCell :: new ( BTreeMap :: new ( ) ) , incomplete : RefCell :: new ( Vec :: new ( ) ) , term : RefCell :: new ( Term :: Panic ) , ancestors : RefCell :: new ( Vec :: new ( ) ) , } ) , } }
Construct a new empty block.
Construct a new empty block .
id
BlockId
global
Global
name
Option<Box<str>>
id
BlockId
global
Global
name
Option<Box<str>>