Skip to main content

register_int_arithmetic

logicaffeine_kernel::int_inductive

Function register_int_arithmetic 

Source 
pub fn register_int_arithmetic(ctx: &mut Context) -> KernelResult<()>