Exemple #1
0
 /// <summary>
 /// `Less than` injection
 /// </summary>
 public static Ord Lt(Unit u) => Ord.CreateLt();
Exemple #2
0
 /// <summary>
 /// `Less than` ctor
 /// </summary>
 public static Ord Lt() => Ord.CreateLt();