pub unsafe extern "C" fn vampire_true() -> *mut vampire_formula_tExpand description
Create a true (tautology) formula. @return Formula handle
pub unsafe extern "C" fn vampire_true() -> *mut vampire_formula_tCreate a true (tautology) formula. @return Formula handle