Module Caveat_fol.Data


module Data: sig .. end

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