Type Definition cop::literal::Lit

type Lit<P, C, V> = App<P, Args<C, V>>;

Implementations

impl<P, C, V: Ord> Lit<P, C, V>

pub fn max_var(&self) -> Option<&V>

Trait Implementations

impl<P: Neg<Output = P>, C, V> From<Form<P, C, V>> for Lit<P, C, V>

fn from(fm: Form<P, C, V>) -> Self

Performs the conversion.