Stop using global mutable array in menhir conversion

hazelgrove · Feb 25, 2025 · c5ebe7d · c5ebe7d
1 parent b7c215a
commit c5ebe7d
Show file tree

Hide file tree

Showing 6 changed files with 197 additions and 256 deletions.
diff --git a/src/haz3lcore/lang/term/Typ.re b/src/haz3lcore/lang/term/Typ.re
@@ -29,7 +29,6 @@ include TermBase.Typ;
 
 let term_of: t => term = IdTagged.term_of;
 let unwrap: t => (term, term => t) = IdTagged.unwrap;
-let rep_id: t => Id.t = IdTagged.rep_id;
 
 let fresh: term => t = IdTagged.fresh;
 /* fresh assigns a random id, whereas temp assigns Id.invalid, which