Type Definition cop::offset::OLit

type OLit<'t, P, C> = Offset<&'t Lit<P, C, usize>>;

Implementations

impl<'t, P, C> OLit<'t, P, C>

pub fn head(&self) -> &P

pub fn args(&self) -> OArgs<'t, C>

impl<'t, P: Eq, C: Eq> OLit<'t, P, C>

pub fn eq_mod(&self, sub: &Sub<'t, C>, other: &Self) -> bool

impl<'t, P: Eq + Neg<Output = P> + Clone, C: Eq> OLit<'t, P, C>

pub fn neg_eq_mod(&self, sub: &Sub<'t, C>, other: &Self) -> bool

Trait Implementations

impl<'t, P: Display, C: Display> Display for OLit<'t, P, C>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.