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