pub trait IntVariable<VStore>: IntVariable_<VStore>where
VStore: Collection,{
// Required method
fn bclone(&self) -> Box<dyn IntVariable<VStore>>;
}pub trait IntVariable<VStore>: IntVariable_<VStore>where
VStore: Collection,{
// Required method
fn bclone(&self) -> Box<dyn IntVariable<VStore>>;
}