SRunner.Expectations
type matcher = Alcotest_runner.AlcotestCheckers.Make(Outcome).matcher
type outcome = Outcome.t
type category = Suite.category
type info = Suite.info
val expectation : matcher -> 'a -> Outcome.t -> unit