Skip to main content

mk_const

oxilean_kernel::expr::functions

Function mk_const 

Source 
pub fn mk_const(name: &str) -> Expr
Expand description

Build a named constant with no universe parameters.