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