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