# Module Std.Type_abstract

    module Type_abstract: Type_abstract

    module Make0: functor (X : Named_intf.S0) -> Typerepable.S0
      with type t := X.t

    module Make1: functor (X : Named_intf.S1) -> Typerepable.S1
      with type 'a t := 'a X.t

    module Make2: functor (X : Named_intf.S2) -> Typerepable.S2
      with type ('a, 'b) t := ('a, 'b) X.t

    module Make3: functor (X : Named_intf.S3) -> Typerepable.S3
      with type ('a, 'b, 'c) t := ('a, 'b, 'c) X.t

    module Make4: functor (X : Named_intf.S4) -> Typerepable.S4
      with type ('a, 'b, 'c, 'd) t := ('a, 'b, 'c, 'd) X.t

    module Make5: functor (X : Named_intf.S5) -> Typerepable.S5
      with type ('a, 'b, 'c, 'd, 'e) t := ('a, 'b, 'c, 'd, 'e) X.t