module
Calf.Value.Function
where
open
import
Cubical.Foundations.HLevels
using
(
isSet→
)
public