SMatcher.Logging
module AstateRec : sig ... end
module AssertionReport : sig ... end
module MatchReport : sig ... end
module MatchResultReport : sig ... end