src/bisection_tree/either.rs

branch
dev
changeset 80
f802ddbabcfc
parent 59
9226980e45a7
--- a/src/bisection_tree/either.rs	Tue Dec 31 08:48:50 2024 -0500
+++ b/src/bisection_tree/either.rs	Mon Dec 23 23:27:45 2024 -0500
@@ -9,6 +9,7 @@
     DifferentiableImpl,
     DifferentiableMapping,
     Space,
+    ArithmeticTrue,
 };
 use crate::iter::{Mappable, MapF, MapZ};
 use crate::sets::Cube;
@@ -191,6 +192,7 @@
     S2 : Mapping<X, Codomain=F>,
 {
     type Codomain = F;
+    type ArithmeticOptIn = ArithmeticTrue;
 
     #[inline]
     fn apply<I : Instance<X>>(&self, x : I) -> F {

mercurial