Skip to main content

register_nat_arithmetic

logicaffeine_kernel::int_inductive

Function register_nat_arithmetic 

Source 
pub fn register_nat_arithmetic(ctx: &mut Context)