(* ARITY ASSIGNMENT ***********************************************************)
(* the arity type *************************************************************)
(* ARITY ASSIGNMENT ***********************************************************)
(* the arity type *************************************************************)