add files

src/Std/Classes/Ord/New/Factories.lean

@@ -0,0 +1,7 @@
+module
+
+prelude
+
+public class X
+
+instance : X := ⟨⟩

src/Std/Classes/Ord/New/Test.lean

@@ -0,0 +1,7 @@
+module
+
+prelude
+import Init.Core
+public import Std.Classes.Ord.New.Factories
+
+def f : X := inferInstance