[−][src]Trait prusto::types::Presto
Associated Types
type ValueType: Serialize
type Seed: DeserializeSeed<'de, Value = Self>
Required methods
fn value(&self) -> Self::ValueType
fn ty() -> PrestoTy
fn seed<'a, 'de>(ctx: &'a Context<'a>) -> Self::Seed
caller must provide a valid context