let
pp_descr fmt _ =
Format
.fprintf fmt
"Logic array"