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