Module `Checker.Examples`

val expr_eq : Syntax.expr -> Syntax.expr -> bool
val op_eq : Check.Error.operation -> Check.Error.operation -> bool
val err_eq : Check.Error.error -> Check.Error.error -> bool
val result_match_expectation : exn option -> Check.Error.error option -> bool
val pp_expectation : Stdlib.Format.formatter -> Check.Error.error option -> unit
val expr_of_string : string -> Syntax.expr
val moving : string -> Check.Error.operation
val borrowing : Syntax.mutability -> string -> Check.Error.operation
val assigning : string -> Check.Error.operation
val out_of_scope : string -> Check.Error.operation
val permission_denied : Check.Error.operation -> Check.Error.error option
val access_dead_loc : string -> Check.Error.loc_invalid_reason -> Check.Error.error option
val examples : (string * string * Check.Error.error option) array