Type Alias SCIP_PROOFSET 

pub type SCIP_PROOFSET = SCIP_ProofSet;

Aliased Type

pub struct SCIP_PROOFSET { /* private fields */ }