Trait MarkerRule 

pub trait MarkerRule<Split: SplitStrategy>: CheckerRule { }

Implementors

impl<Split: SplitStrategy> MarkerRule<Split> for IsConjunctionRule

impl<Split: SplitStrategy> MarkerRule<Split> for NumberRule

impl<Split: SplitStrategy> MarkerRule<Split> for PiExtensionRule<Split>

impl<Split: SplitStrategy> MarkerRule<Split> for AnyRule

impl<Split: SplitStrategy> MarkerRule<Split> for HOASRule

impl<Split: SplitStrategy> MarkerRule<Split> for IsJudgmentRule