extractProgram

src/Core/Syntax.hs

@@ -18,6 +18,7 @@ module Core.Syntax
     , rhssOf
     , isAtomic
     , insertModule
+    , extractProgram
     )
     where
 ----------------------------------------------------------------------------------
@@ -146,3 +147,6 @@ isAtomic _       = False
 insertModule :: Module -> Program -> Program
 insertModule (Module _ m) p = p <> m
 
+extractProgram :: Module -> Program
+extractProgram (Module _ p) = p
+