make Type{e} the default element type whenever e isa Type
#14
This job was skipped
Loading
Type{e} the default element type whenever e isa Type
#14