@@ -80,6 +80,7 @@ pub fn generate_jets() -> Jets {
8080 (122271149828189266412416527758198690539, SWP),
8181 (315388312266248574424227833154020891850, XEB),
8282 (26880808488368366377851132561579207892, CON),
83+ (311027486926441687148059942599447850754, DIS),
8384 ])
8485}
8586
@@ -859,3 +860,4 @@ static XEB: Jet = |_ctx, n| {
859860};
860861
861862static CON: Jet = |_ctx, n| BINARY_ATOM(n, |a, b| a | b);
863+static DIS: Jet = |_ctx, n| BINARY_ATOM(n, |a, b| a & b);