Module Signature.Global_pragma

type t =
  1. | No_strengthening of {
    1. location : Beluga_syntax.Syncom.Location.t;
    }
  2. | Warn_on_coverage_error of {
    1. location : Beluga_syntax.Syncom.Location.t;
    }
  3. | Initiate_coverage_checking of {
    1. location : Beluga_syntax.Syncom.Location.t;
    }