Trait CTIfOffset 

pub trait CTIfOffset<Condition, OptionTrue, OptionFalse> {
    type Result: CTBool;
    type Path: Unsigned + Add<U1>;
}

Specialized implementation of IfCheck to accomodate for the additional constraints necessary on [CTIf::Path].

Required Associated Types

type Result: CTBool

Auto generated

type Path: Unsigned + Add<U1>

Auto generated

Implementors

impl<X, CondFail, OptionTrue, OptionFalse> CTIfOffset<CondFail, OptionTrue, OptionFalse> for IfCheck<X>

where OptionTrue: Unsigned + Add<U1>, OptionFalse: Unsigned + Add<U1>,

type Result = CTFalse

type Path = OptionFalse

impl<X, OptionTrue, OptionFalse> CTIfOffset<X, OptionTrue, OptionFalse> for IfCheck<X>

where OptionTrue: Unsigned + Add<U1>, OptionFalse: Unsigned + Add<U1>,

type Result = CTTrue

type Path = OptionTrue