Trait creusot_contracts::logic::ops::NegLogic

source · 
pub trait NegLogic {
    type Output;

    // Required method
    fn neg(self) -> Self::Output;
}
Expand description

Trait for negation (unary -) in logic code.

Required Associated Types§

source

type Output

Required Methods§

source

fn neg(self) -> Self::Output

logic

Implementors§