module index;
  import Stdlib.Prelude;
  import Stdlib.Data.Nat.Ord;
  import Stdlib.Data.List.Ord;
  import Stdlib.Data.String.Ord;
end;