sig
  val identity : 'a -> 'a
  val constant : 'a -> 'b -> 'a
  val compose : ('a -> 'b) -> ('c -> 'a) -> 'c -> 'b
  val flip : ('a -> 'b -> 'c) -> 'b -> 'a -> 'c
  val curry : ('a * 'b -> 'c) -> 'a -> 'b -> 'c
  val uncurry : ('a -> 'b -> 'c) -> 'a * 'b -> 'c
  val until : ('a -> bool) -> ('a -> 'a) -> 'a -> 'a
  val fix : (('a -> 'b) -> 'a -> 'b) -> 'a -> 'b
end

---

Hosted by the ^* web site.
^*Other names and brands may be claimed as the property of others.