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