75c66dc · wock · git.iko.soy

on master help sign in

xeb

75c66dciko2 years ago

nock/src/jets.rs+14

@@ -78,6 +78,7 @@ pub fn generate_jets() -> Jets {

78 (52890757765966568893620799383929397067, RUT),

79 (189837220965666741450798472864087835815, SEW),

80 (122271149828189266412416527758198690539, SWP),

81+ (315388312266248574424227833154020891850, XEB),

81 ])

82 ])

82}

83}

@@ -842,3 +843,16 @@ static SWP: Jet = |ctx, n| {

842

843

843 Rc::new(Noun::Atom(target))

844 Rc::new(Noun::Atom(target))

844};

845};

846+

847+static XEB: Jet = |_ctx, n| {

848+ let mut a = n.as_atom().unwrap().clone();

849+

850+ let mut c = 0;

851+

852+ while a > Atom::ZERO {

853+ a = a >> 1;

854+ c += 1;

855+ }

856+

857+ Rc::new(Noun::from_u32(c))

858+};