Skip to main content

Crate ostd_pod

Crate ostd_pod 

Source
Expand description

This crate defines a marker trait for plain old data (POD).

Traits§

Pod
A marker trait for plain old data (POD).

Functions§

axiom_pod_bytes_injective
axiom_pod_bytes_len
decode_pod
lemma_decode_pod_inverse
pod_bytes