creusot_contracts::logic::ops

Trait DivLogic

Source 
pub trait DivLogic<Rhs = Self> {
    type Output;

    // Required method
    fn div(self, other: Rhs) -> Self::Output;
}
Expand description

Trait for division (/) in logic code.

Required Associated Types§

Source

type Output

Required Methods§

Source

fn div(self, other: Rhs) -> Self::Output

logic

Implementors§