let pp_sigma fmt s = begin Format.fprintf fmt "[" ; List.iter (fun (x,x') -> Format.fprintf fmt " %a:=%a" F.pp_var x F.pp_var x') s ; Format.fprintf fmt " ]" ; end