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