Type Alias WithProof

Source
pub type WithProof = Yes;

Aliased Typeยง

struct WithProof {}