module A : sig
  module B : sig
    type t
  end
end

(** @canonical Chain.M1 *)
module M1__ = A
module M1 = M1__
module M1B = M1.B

(** @canonical Chain.M2 *)
module M2__ = M1
module M2=M2__
module M2B=M2.B

(** @canonical Chain.M3 *)
module M3__ = M2
module M3=M3__
module M3B=M3.B

(** @canonical Chain.M4 *)
module M4__ = M3
module M4=M4__
module M4B=M4.B

(** @canonical Chain.M5 *)
module M5__ = M4
module M5=M5__
module M5B=M5.B

(** @canonical Chain.M6 *)
module M6__ = M5
module M6=M6__
module M6B=M6.B

(** @canonical Chain.M7 *)
module M7__ = M6
module M7=M7__
module M7B=M7.B

(** @canonical Chain.M8 *)
module M8__ = M7
module M8=M8__
module M8B=M8.B

(** @canonical Chain.M9 *)
module M9__ = M8
module M9=M9__
module M9B=M9.B

(** @canonical Chain.M10 *)
module M10__ = M9
module M10=M10__
module M10B=M10.B

(** @canonical Chain.M11 *)
module M11__ = M10
module M11=M11__
module M11B=M11.B

(** @canonical Chain.M12 *)
module M12__ = M11
module M12=M12__
module M12B=M12.B

(** @canonical Chain.M13 *)
module M13__ = M12
module M13=M13__
module M13B=M13.B

(** @canonical Chain.M14 *)
module M14__ = M13
module M14=M14__
module M14B=M14.B

(** @canonical Chain.M15 *)
module M15__ = M14
module M15=M15__
module M15B=M15.B

(** @canonical Chain.M16 *)
module M16__ = M15
module M16=M16__
module M16B=M16.B

(** @canonical Chain.M17 *)
module M17__ = M16
module M17=M17__
module M17B=M17.B

(** @canonical Chain.M18 *)
module M18__ = M17
module M18=M18__
module M18B=M18.B

(** @canonical Chain.M19 *)
module M19__ = M18
module M19=M19__
module M19B=M19.B

(** @canonical Chain.M20 *)
module M20__ = M19
module M20=M20__
module M20B=M20.B

(** @canonical Chain.M21 *)
module M21__ = M20
module M21=M21__
module M21B=M21.B

(** @canonical Chain.M22 *)
module M22__ = M21
module M22=M22__
module M22B=M22.B

(** @canonical Chain.M23 *)
module M23__ = M22
module M23=M23__
module M23B=M23.B

(** @canonical Chain.M24 *)
module M24__ = M23
module M24=M24__
module M24B=M24.B

(** @canonical Chain.M25 *)
module M25__ = M24
module M25=M25__
module M25B=M25.B

(** @canonical Chain.M26 *)
module M26__ = M25
module M26=M26__
module M26B=M26.B

(** @canonical Chain.M27 *)
module M27__ = M26
module M27=M27__
module M27B=M27.B

(** @canonical Chain.M28 *)
module M28__ = M27
module M28=M28__
module M28B=M28.B

(** @canonical Chain.M29 *)
module M29__ = M28
module M29=M29__
module M29B=M29.B

(** @canonical Chain.M30 *)
module M30__ = M29
module M30=M30__
module M30B=M30.B

(** @canonical Chain.M31 *)
module M31__ = M30
module M31=M31__
module M31B=M31.B

(** @canonical Chain.M32 *)
module M32__ = M31
module M32=M32__
module M32B=M32.B

(** @canonical Chain.M33 *)
module M33__ = M32
module M33=M33__
module M33B=M33.B

(** @canonical Chain.M34 *)
module M34__ = M33
module M34=M34__
module M34B=M34.B

(** @canonical Chain.M35 *)
module M35__ = M34
module M35=M35__
module M35B=M35.B

(** @canonical Chain.M36 *)
module M36__ = M35
module M36=M36__
module M36B=M36.B

(** @canonical Chain.M37 *)
module M37__ = M36
module M37=M37__
module M37B=M37.B

(** @canonical Chain.M38 *)
module M38__ = M37
module M38=M38__
module M38B=M38.B

(** @canonical Chain.M39 *)
module M39__ = M38
module M39=M39__
module M39B=M39.B

(** @canonical Chain.M40 *)
module M40__ = M39
module M40=M40__
module M40B=M40.B

(** @canonical Chain.M41 *)
module M41__ = M40
module M41=M41__
module M41B=M41.B

(** @canonical Chain.M42 *)
module M42__ = M41
module M42=M42__
module M42B=M42.B

(** @canonical Chain.M43 *)
module M43__ = M42
module M43=M43__
module M43B=M43.B

(** @canonical Chain.M44 *)
module M44__ = M43
module M44=M44__
module M44B=M44.B

(** @canonical Chain.M45 *)
module M45__ = M44
module M45=M45__
module M45B=M45.B

(** @canonical Chain.M46 *)
module M46__ = M45
module M46=M46__
module M46B=M46.B

(** @canonical Chain.M47 *)
module M47__ = M46
module M47=M47__
module M47B=M47.B

(** @canonical Chain.M48 *)
module M48__ = M47
module M48=M48__
module M48B=M48.B

(** @canonical Chain.M49 *)
module M49__ = M48
module M49=M49__
module M49B=M49.B

(** @canonical Chain.M50 *)
module M50__ = M49
module M50=M50__
module M50B=M50.B

(** @canonical Chain.M51 *)
module M51__ = M50
module M51=M51__
module M51B=M51.B

(** @canonical Chain.M52 *)
module M52__ = M51
module M52=M52__
module M52B=M52.B

(** @canonical Chain.M53 *)
module M53__ = M52
module M53=M53__
module M53B=M53.B

(** @canonical Chain.M54 *)
module M54__ = M53
module M54=M54__
module M54B=M54.B

(** @canonical Chain.M55 *)
module M55__ = M54
module M55=M55__
module M55B=M55.B

(** @canonical Chain.M56 *)
module M56__ = M55
module M56=M56__
module M56B=M56.B

(** @canonical Chain.M57 *)
module M57__ = M56
module M57=M57__
module M57B=M57.B

(** @canonical Chain.M58 *)
module M58__ = M57
module M58=M58__
module M58B=M58.B

(** @canonical Chain.M59 *)
module M59__ = M58
module M59=M59__
module M59B=M59.B

(** @canonical Chain.M60 *)
module M60__ = M59
module M60=M60__
module M60B=M60.B

(** @canonical Chain.M61 *)
module M61__ = M60
module M61=M61__
module M61B=M61.B

(** @canonical Chain.M62 *)
module M62__ = M61
module M62=M62__
module M62B=M62.B

(** @canonical Chain.M63 *)
module M63__ = M62
module M63=M63__
module M63B=M63.B

(** @canonical Chain.M64 *)
module M64__ = M63
module M64=M64__
module M64B=M64.B

(** @canonical Chain.M65 *)
module M65__ = M64
module M65=M65__
module M65B=M65.B

(** @canonical Chain.M66 *)
module M66__ = M65
module M66=M66__
module M66B=M66.B

(** @canonical Chain.M67 *)
module M67__ = M66
module M67=M67__
module M67B=M67.B

(** @canonical Chain.M68 *)
module M68__ = M67
module M68=M68__
module M68B=M68.B

(** @canonical Chain.M69 *)
module M69__ = M68
module M69=M69__
module M69B=M69.B

(** @canonical Chain.M70 *)
module M70__ = M69
module M70=M70__
module M70B=M70.B

(** @canonical Chain.M71 *)
module M71__ = M70
module M71=M71__
module M71B=M71.B

(** @canonical Chain.M72 *)
module M72__ = M71
module M72=M72__
module M72B=M72.B

(** @canonical Chain.M73 *)
module M73__ = M72
module M73=M73__
module M73B=M73.B

(** @canonical Chain.M74 *)
module M74__ = M73
module M74=M74__
module M74B=M74.B

(** @canonical Chain.M75 *)
module M75__ = M74
module M75=M75__
module M75B=M75.B

(** @canonical Chain.M76 *)
module M76__ = M75
module M76=M76__
module M76B=M76.B

(** @canonical Chain.M77 *)
module M77__ = M76
module M77=M77__
module M77B=M77.B

(** @canonical Chain.M78 *)
module M78__ = M77
module M78=M78__
module M78B=M78.B

(** @canonical Chain.M79 *)
module M79__ = M78
module M79=M79__
module M79B=M79.B

(** @canonical Chain.M80 *)
module M80__ = M79
module M80=M80__
module M80B=M80.B

(** @canonical Chain.M81 *)
module M81__ = M80
module M81=M81__
module M81B=M81.B

(** @canonical Chain.M82 *)
module M82__ = M81
module M82=M82__
module M82B=M82.B

(** @canonical Chain.M83 *)
module M83__ = M82
module M83=M83__
module M83B=M83.B

(** @canonical Chain.M84 *)
module M84__ = M83
module M84=M84__
module M84B=M84.B

(** @canonical Chain.M85 *)
module M85__ = M84
module M85=M85__
module M85B=M85.B

(** @canonical Chain.M86 *)
module M86__ = M85
module M86=M86__
module M86B=M86.B

(** @canonical Chain.M87 *)
module M87__ = M86
module M87=M87__
module M87B=M87.B

(** @canonical Chain.M88 *)
module M88__ = M87
module M88=M88__
module M88B=M88.B

(** @canonical Chain.M89 *)
module M89__ = M88
module M89=M89__
module M89B=M89.B

(** @canonical Chain.M90 *)
module M90__ = M89
module M90=M90__
module M90B=M90.B

(** @canonical Chain.M91 *)
module M91__ = M90
module M91=M91__
module M91B=M91.B

(** @canonical Chain.M92 *)
module M92__ = M91
module M92=M92__
module M92B=M92.B

(** @canonical Chain.M93 *)
module M93__ = M92
module M93=M93__
module M93B=M93.B

(** @canonical Chain.M94 *)
module M94__ = M93
module M94=M94__
module M94B=M94.B

(** @canonical Chain.M95 *)
module M95__ = M94
module M95=M95__
module M95B=M95.B

(** @canonical Chain.M96 *)
module M96__ = M95
module M96=M96__
module M96B=M96.B

(** @canonical Chain.M97 *)
module M97__ = M96
module M97=M97__
module M97B=M97.B

(** @canonical Chain.M98 *)
module M98__ = M97
module M98=M98__
module M98B=M98.B

(** @canonical Chain.M99 *)
module M99__ = M98
module M99=M99__
module M99B=M99.B

(** @canonical Chain.M100 *)
module M100__ = M99
module M100=M100__
module M100B=M100.B
