Name	Last modified	Size
	Parent Directory		-
	trait.Eq.js	27-Jul-2020 04:57	95K
	trait.Ord.js	27-Jul-2020 04:57	4.8K
	trait.PartialEq.js	27-Jul-2020 04:57	140K
	trait.PartialOrd.js	27-Jul-2020 04:57	7.3K