let declare arr _ =
         Function ([],Formula.ADT("format",[Array arr]))