Type Alias NoProof

Source
pub type NoProof = No;

Aliased Typeยง

struct NoProof {}