Skip to main content

heap_node_ty

oxilean_std::static_analysis::functions

Function heap_node_ty 

Source 
pub fn heap_node_ty() -> Expr
Expand description

HeapNode : Type — An abstract heap node (summary or concrete).