on master help sign in
dis
d851a71iko
nock/src/jets.rs+2
@@ -80,6 +80,7 @@ pub fn generate_jets() -> Jets {
80 (122271149828189266412416527758198690539, SWP),
80 (122271149828189266412416527758198690539, SWP),
81 (315388312266248574424227833154020891850, XEB),
81 (315388312266248574424227833154020891850, XEB),
82 (26880808488368366377851132561579207892, CON),
82 (26880808488368366377851132561579207892, CON),
83+ (311027486926441687148059942599447850754, DIS),
83 ])
84 ])
84}
85}
85
86
@@ -859,3 +860,4 @@ static XEB: Jet = |_ctx, n| {
859};
860};
860
861
861static CON: Jet = |_ctx, n| BINARY_ATOM(n, |a, b| a | b);
862static CON: Jet = |_ctx, n| BINARY_ATOM(n, |a, b| a | b);
863+static DIS: Jet = |_ctx, n| BINARY_ATOM(n, |a, b| a & b);