MAlonzo.Code.Agda.Builtin.Strict
d_primForce_18 ∷ p → p → p → p → a → (a → b) → b Source #
d_primForceLemma_34 ∷ a Source #