Module LustreCheckMatchExpressions

module A = LustreAst
module Ctx = TypeCheckerContext
type error_kind =
  1. | RedundantPattern of A.pattern
  2. | IncompletePatternMatch
type error = [
  1. | `LustreCheckMatchExpressionsError of Lib.position * error_kind
]
val error_message : error_kind -> string
val check_redundancy : 'a -> 'b
val check_exhaustiveness : 'a -> 'b
val check_match_expressions : Ctx.tc_context -> A.t -> (A.t, [> error ]) Stdlib.result