Searched defs:ensure_closed (Results 1 – 2 of 2) sorted by relevance
91 bound::ensure_closed (bool is_upper) in ensure_closed() function in ana::bound
120 bound::ensure_closed (enum bound_kind bound_kind) in ensure_closed() function in ana::bound