let declare arr _axname = let eq_name = ArrEqName.get_definition arr in Formula.Axiom(eq_array_definition arr eq_name.d_name)