sig
  type d = Caveat_fol.data
  val pp_term : Format.formatter -> Caveat_fol.dterm -> unit
  val pp_data : Format.formatter -> Caveat_fol.data -> unit
end