package libsail
Module Libsail.Pattern_completenessSource
For testing, we don't want our tests to print exact literals in warnings, otherwise they would be overly brittle. This is because we use an SMT solver to find counterexamples to complex constrained patterns, and it's not guaranteed to find the same one each run, or between different versions of the solver.
Source
type ctx = {variants : (Ast.typquant * Ast.type_union list) Ast_util.Bindings.t;structs : (Ast.typquant * (Ast.typ * Ast.id) list) Ast_util.Bindings.t;enums : Ast_util.IdSet.t Ast_util.Bindings.t;constraints : Ast.n_constraint list;
}