Skip to main content

Module var_infer

dada_ir_sym::check::predicates

Module var_infer 

Source

Functions§

exists_bounding_term 🔒
infer_is_provably
Wait until we know whether the inference variable IS the given predicate or we know that we’ll never be able to prove that it is.
require_infer_is
Requires the inference variable (appearing under the given context) to meet the given predicate (possibly reporting an error if that is contradictory).
require_var_is 🔒
test_var_is_provably