pub fn assume<A: Prop, B: Prop, C: Prop, D: Prop>() -> PSem<A, B, C, D>
Assumes the core axiom safely for propositions.
