{-# OPTIONS --safe #-}

module Cubical.Algebra.CommRing.Polynomials.Typevariate where

open import Cubical.Algebra.CommRing.Polynomials.Typevariate.Base public
open import Cubical.Algebra.CommRing.Polynomials.Typevariate.Properties public