Type := { ss_carrier :> Type ; ss_succ : ss_carrier -> ss_carrier ; }.
Require Import Basics. Require Import Nat.Core. Require Import Spaces.Int. Require Import Spaces.Finite.Fin. Require Import WildCat.Core.