sig
  module Abstract :
    sig
      type +'a t
      val fn : ('a -> 'b) -> ('a -> 'b) Extended_fn.Abstract.t
      val app : ('a -> 'b) Extended_fn.Abstract.t -> 'a -> 'b
    end
  val ounit_tests : unit -> OUnit.test
end