Add nockma stdlib locations for resource machine functions

src/Juvix/Compiler/Nockma/StdlibFunction.hs

@@ -80,3 +80,15 @@ stdlibPath = \case
               1
             ]
      |]
+  StdlibRmCommit -> [nock| [9 94 0 1] |]
+  StdlibRmNullify -> [nock| [9 350 0 1] |]
+  StdlibRmKind -> [nock| [9 1.492 0 1] |]
+  StdlibRmProveLogic -> [nock| [9 342 0 1] |]
+  StdlibRmProveAction -> [nock| [9 22 0 1] |]
+  StdlibRmDeltaAdd -> [nock| [9 92 0 1] |]
+  StdlibRmDeltaSub -> [nock| [9 763 0 1] |]
+  StdlibRmResourceDelta -> [nock| [9 343 0 1] |]
+  StdlibRmActionDelta -> [nock| [9 4 0 1] |]
+  StdlibRmMakeDelta -> [nock| [9 372 0 1] |]
+  StdlibRmProveDelta -> [nock| [9 1.535 0 1] |]
+  StdlibRmZeroDelta -> [nock| [9 20 0 1] |]

src/Juvix/Compiler/Nockma/StdlibFunction/Base.hs

@@ -26,6 +26,18 @@ instance Pretty StdlibFunction where
     StdlibLengthBytes -> "length-bytes"
     StdlibCurry -> "curry"
     StdlibSha256 -> "sha256"
+    StdlibRmCommit -> "commit"
+    StdlibRmNullify -> "nullify"
+    StdlibRmKind -> "kind"
+    StdlibRmProveLogic -> "prove-logic"
+    StdlibRmProveAction -> "prove-action"
+    StdlibRmDeltaAdd -> "delta-add"
+    StdlibRmDeltaSub -> "delta-sub"
+    StdlibRmResourceDelta -> "resource-delta"
+    StdlibRmActionDelta -> "action-delta"
+    StdlibRmMakeDelta -> "make-delta"
+    StdlibRmProveDelta -> "prove-delta"
+    StdlibRmZeroDelta -> "zero-delta"
 
 data StdlibFunction
   = StdlibDec
@@ -49,6 +61,18 @@ data StdlibFunction
   | StdlibLengthBytes
   | StdlibCurry
   | StdlibSha256
+  | StdlibRmCommit
+  | StdlibRmNullify
+  | StdlibRmKind
+  | StdlibRmProveLogic
+  | StdlibRmProveAction
+  | StdlibRmDeltaAdd
+  | StdlibRmDeltaSub
+  | StdlibRmResourceDelta
+  | StdlibRmActionDelta
+  | StdlibRmMakeDelta
+  | StdlibRmProveDelta
+  | StdlibRmZeroDelta
   deriving stock (Show, Lift, Eq, Bounded, Enum, Generic)
 
 instance Hashable StdlibFunction