Skip to main content

mk_set_insert

oxilean_std::set::functions

Function mk_set_insert 

Source 
pub fn mk_set_insert(a: Expr, s: Expr) -> Expr
Expand description

Build Set.insert a s expression.