Cubicle 1.1.2 documentation and source : Explanation.print

let print fmt ex = 
  fprintf fmt "{";
  S.iter (function 
    | Atom a -> fprintf fmt "%a, " Debug.atom a
    | Fresh i -> fprintf fmt "Fresh%d " i) ex; 
  fprintf fmt "}"