Exemplo n.º 1
0
 public static T Everywhere <T, U>(MkT <U> f, T t)
     where T : ITerm <T>
     where U : ITerm <U>
 {
     return(f.Apply(t.GMapT(new EveryWhere <U>(f))));
 }
Exemplo n.º 2
0
 public EveryWhere(MkT <U> f) : base(f.Function)
 {
 }