package traverse

  1. Overview
  2. Docs
module type S = sig ... end
module type NonNullS = sig ... end
module O : S with type ('a, 'b) t = 'b
module S (Pred : S) : NonNullS with module Pred = Pred
module A1 : NonNullS with type ('a, 'b) Pred.t = ('a, 'b) O.t
module A2 : NonNullS with type ('a, 'b) Pred.t = ('a, 'b) A1.t
module A3 : NonNullS with type ('a, 'b) Pred.t = ('a, 'b) A2.t
module A4 : NonNullS with type ('a, 'b) Pred.t = ('a, 'b) A3.t
module A5 : NonNullS with type ('a, 'b) Pred.t = ('a, 'b) A4.t
module A6 : NonNullS with type ('a, 'b) Pred.t = ('a, 'b) A5.t
module A7 : NonNullS with type ('a, 'b) Pred.t = ('a, 'b) A6.t
module A8 : NonNullS with type ('a, 'b) Pred.t = ('a, 'b) A7.t
module A9 : NonNullS with type ('a, 'b) Pred.t = ('a, 'b) A8.t