Make (gillian.Alcotest_runner.AlcotestFramework.Make)

Parameters

module Outcome : Gillian.Bulk.Outcome.S

val custom_checkers : AlcotestCheckers.Make(Outcome).matcher