Trait SpecPred

pub trait SpecPred {
    type Input;
}

The spec version of Pred.

Required Associated Types

type Input

The input type of the predicate.

Implementors

impl SpecPred for IA5StringPred

type Input = Seq<char>

impl SpecPred for MinimalBigIntPred

type Input = Seq<u8>

impl SpecPred for PrintableStringPred

type Input = Seq<char>

impl<T> SpecPred for TagPred<T>

type Input = T