Module TopDownUnix

module TopDownUnix: sig .. end

Unix Interpreted Predicates



module type S = sig .. end
module Make: 
functor (TD : TopDown.S) -> S with module TD = TD
module Default: S 
  with type TD.DB.t = TopDown.Default.DB.t
  and module TD.Const = TopDown.Default.Const