Definition make_varspec (σ: signature) (varsupp: hSet) (varsorts: varsupp → sorts σ) : varspec σ := (varsupp,, varsorts).
Require Import UniMath.Foundations.All. Require Import UniMath.Algebra.Universal.SortedTypes.