module
Cubical.HITs.Replacement
where
open
import
Cubical.HITs.Replacement.Base
public