Module PrintResults


module PrintResults: sig .. end
Module to print results of analysis and warning about possible runtime errors and dead code.

module Make: 
functor (Dom : Relational.Domain) -> sig .. end