5 lines
98 B
Text
5 lines
98 B
Text
|
Fixpoint Arity (A B: Set) (n: nat): Set := match n with
|
||
|
|
|O => B
|
||
|
|
|S n' => A -> (Arity A B n')
|
||
|
|
end.
|