let clause fmt {name=name; atoms=arr; cpremise=cp} = fprintf fmt "%s:{ %a}" name atoms_vec arr