pub fn mk_bool_const(&self, value: bool) -> Exp {
        let node_id = self
            .global_env()
            .new_node(self.current_loc.clone(), BOOL_TYPE.clone());
        Exp::Value(node_id, Value::Bool(value))
    }
/// Make a boolean constant expression.
Make a boolean constant expression.
Make a boolean constant expression .
pub fn mk_bool_const(&self, value: bool) -> Exp {
        let node_id = self
            .global_env()
            .new_node(self.current_loc.clone(), BOOL_TYPE.clone());
        Exp::Value(node_id, Value::Bool(value))
    }
pub fn mk_bool_const ( & self , value : bool ) -> Exp { let node_id = self . global_env ( ) . new_node ( self . current_loc . clone ( ) , BOOL_TYPE . clone ( ) ) ; Exp :: Value ( node_id , Value :: Bool ( value ) ) }
Make a boolean constant expression.
Make a boolean constant expression .
&self
value
bool