[]Constant varisat::context::parts::ProofP

pub const ProofP: ProofP