replace export of isleaftype with a more simply-defined isconcrete#23666
Merged
JeffBezanson merged 1 commit intomasterfrom jb/isconcreteSep 13, 2017
+94-49
isleaftype with a more simply-defined isconcrete#23666