simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-06 11:15:43 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

feat(e_node): remove useless assertion

Browse source
This commit is contained in:
Simon Cruanes 2022-08-19 21:31:04 -04:00
parent c643e547f6
commit 177cd70fac
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
1 changed files with 4 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
src/cc/e_node.ml
View file

@ -28,17 +28,15 @@ let make (t : Term.t) : t =
let[@inline] is_root (n : e_node) : bool = n.n_root == n let[@inline] is_root (n : e_node) : bool = n.n_root == n
(* traverse the equivalence class of [n] *) (* traverse the equivalence class of [n] *)
let iter_class_ (n : e_node) : e_node Iter.t = let iter_class_ (n_start : e_node) : e_node Iter.t =
fun yield -> fun yield ->
let rec aux u = let rec aux u =
yield u; yield u;
if u.n_next != n then aux u.n_next if u.n_next != n_start then aux u.n_next
in in
aux n aux n_start
let[@inline] iter_class n = let[@inline] iter_class n = iter_class_ n
assert (is_root n);
iter_class_ n
let[@inline] iter_parents (n : e_node) : e_node Iter.t = let[@inline] iter_parents (n : e_node) : e_node Iter.t =
assert (is_root n); assert (is_root n);