Type Alias implies::prop::PropFormula

source · 
pub type PropFormula = Formula<PropBinary, PropUnary, Atom>;
Expand description

Alias for the propositional instantiation of Formula.

Aliased Type§

struct PropFormula {
    pub tree: Tree<PropBinary, PropUnary, Atom>,
    pub zipper: Zipper<PropBinary, PropUnary, Atom>,
}

Fields§

§tree: Tree<PropBinary, PropUnary, Atom>§zipper: Zipper<PropBinary, PropUnary, Atom>