Module Modelkit.Conformance

Framework-neutral protocol checks for third-party components.

Reports are ordinary values so package authors can use them from Alcotest, OUnit, expect tests, or their own build tooling without adding a ModelKit test-framework dependency.

type issue =
  1. | Protocol_error of Error.t
  2. | Violation of string
  3. | Raised of string
type outcome =
  1. | Passed
  2. | Failed of issue
type check = {
  1. name : string;
  2. outcome : outcome;
}
type report
val issue_to_string : issue -> string
val checks : report -> check array
val passed : report -> bool
val failures : report -> check array
module Estimator : sig ... end
module Metadata_estimator : sig ... end
module Transformer : sig ... end
module Scorer : sig ... end