pub trait MessageSpecification: Seal {
type Data: AsField<Vec<u8>>;
type Predicate: AsField<PredicateCode>;
type PredicateData: AsField<Vec<u8>>;
type PredicateGasUsed: AsField<Word>;
type Witness: AsField<u16>;
}
pub trait MessageSpecification: Seal {
type Data: AsField<Vec<u8>>;
type Predicate: AsField<PredicateCode>;
type PredicateData: AsField<Vec<u8>>;
type PredicateGasUsed: AsField<Word>;
type Witness: AsField<u16>;
}