module Calf.Value.Sum where

open import Calf.Value
open import Cubical.Data.Sum renaming (inl to inj₁; inr to inj₂) public