on master help sign in
mix
f97fb14iko
nock/src/jets.rs+2
@@ -81,6 +81,7 @@ pub fn generate_jets() -> Jets {
81 (315388312266248574424227833154020891850, XEB),
81 (315388312266248574424227833154020891850, XEB),
82 (26880808488368366377851132561579207892, CON),
82 (26880808488368366377851132561579207892, CON),
83 (311027486926441687148059942599447850754, DIS),
83 (311027486926441687148059942599447850754, DIS),
84+ (330927609077697663248483044495963838437, MIX),
84 ])
85 ])
85}
86}
86
87
@@ -861,3 +862,4 @@ static XEB: Jet = |_ctx, n| {
861
862
862static CON: Jet = |_ctx, n| BINARY_ATOM(n, |a, b| a | b);
863static CON: Jet = |_ctx, n| BINARY_ATOM(n, |a, b| a | b);
863static DIS: Jet = |_ctx, n| BINARY_ATOM(n, |a, b| a & b);
864static DIS: Jet = |_ctx, n| BINARY_ATOM(n, |a, b| a & b);
865+static MIX: Jet = |_ctx, n| BINARY_ATOM(n, |a, b| a ^ b);