let
pp_var fmt v =
let
name =
Fol_decl
.identifier (
Fol
.
Var
.var_name v)
in
fprintf fmt
"%s"
name