AssertionSerde

Fully qualified path: pragma_lib::types::AssertionSerde

impl AssertionSerde of Serde<Assertion>;

Impl functions

serialize

Fully qualified path: pragma_lib::types::AssertionSerde::serialize

fn serialize(self: @Assertion, ref output: Array<felt252>)

deserialize

Fully qualified path: pragma_lib::types::AssertionSerde::deserialize

fn deserialize(ref serialized: Span<felt252>) -> Option<Assertion>