Type Alias Var 

pub type Var<VStore> = Box<dyn IntVariable<VStore>>;

Aliased Type

pub struct Var<VStore>(/* private fields */);