Module `Alcotest_runner.AlcotestBackend`

module Make
  (Outcome : Gillian.Bulk.Outcome.S)
  (Suite : Gillian.Bulk.Suite.S) : 
  sig ... end