Trait creusot_contracts::std::ops::RangeInclusiveExt

pub trait RangeInclusiveExt<Idx> {
    // Required methods
    fn start_log(self) -> Idx;
    fn end_log(self) -> Idx;
    fn is_empty_log(self) -> bool
       where Idx: DeepModel,
             Idx::DeepModelTy: OrdLogic;
}

Required Methods

fn start_log(self) -> Idx

logic

fn end_log(self) -> Idx

logic

fn is_empty_log(self) -> bool

where Idx: DeepModel, Idx::DeepModelTy: OrdLogic,

logic

Implementors

impl<Idx> RangeInclusiveExt<Idx> for RangeInclusive<Idx>