How do I specify fundamental sequences for Church-Kleene ordinal?

I want to make a function that uses a fundamental sequence for Church-Kleene ordinal and I don't want it to be ill-defined, so how do I specify a fundamental sequence for this ordinal?