fact: Definition BuildSingleSortedSignature (sym : Type) (arities : sym → nat) : Signature := BuildSignature Unit sym (ne_list.replicate_Sn tt o arities).
imports: HoTT.Utf8Minimal HoTT.Basics HoTT.Classes.implementations.ne_list HoTT.Classes.implementations.family_prod HoTT.Types HoTT.HSet HoTT.Classes.implementations.list