iface: rename `OpenRec` to `OpenLetRec`

diff --git a/src/Symantic/Semantics/SharingObserver.hs b/src/Symantic/Semantics/SharingObserver.hs
index 49187f4b1b41d0cf0425592ef6037ea71dd7762b..935e2fc920ed13958bf5a83f83c0d2cfb48405f4 100644 (file)
--- a/src/Symantic/Semantics/SharingObserver.hs
+++ b/src/Symantic/Semantics/SharingObserver.hs
@@ -437,15 +437,15 @@ instance
     unSharingFinalizer x
 -}
 
--- ** Type 'OpenRecs'
+-- ** Type 'OpenLetRecs'
 
 -- | Mutually recursive terms, in open recursion style.
-type OpenRecs letName a = LetRecs letName (OpenRec letName a)
+type OpenLetRecs letName a = LetRecs letName (OpenLetRec letName a)
 
 -- | Mutually recursive term, in open recursion style.
 -- The term is given a @final@ (aka. @self@) map
 -- of other terms it can refer to (including itself).
-type OpenRec letName a = LetRecs letName a -> a
+type OpenLetRec letName a = LetRecs letName a -> a
 
 -- | Recursive let bindings.
 type LetRecs letName = HM.HashMap letName