Cubicle 1.1.2 documentation and source : Explanation.iter

let iter_atoms f s = 
  S.iter (fun e -> match e with
    | Fresh _ -> ()
    | Atom a -> f a) s