@@ -663,25 +663,30 @@ and type_exception = Parsetree.type_exception = {
663663
664664and extension_constructor_kind = Parsetree.extension_constructor_kind =
665665 | Pext_decl of string loc list * constructor_arguments * core_type option
666- (** [Pext_decl(existentials, c_args, t_opt)]
667- describes a new extension constructor. It can be:
668- - [C of T1 * ... * Tn] when:
669- {ul {- [existentials] is [[]],}
670- {- [c_args] is [[T1; ...; Tn]],}
671- {- [t_opt] is [None]}.}
672- - [C: T0] when
673- {ul {- [existentials] is [[]],}
674- {- [c_args] is [[]],}
675- {- [t_opt] is [Some T0].}}
676- - [C: T1 * ... * Tn -> T0] when
677- {ul {- [existentials] is [[]],}
678- {- [c_args] is [[T1; ...; Tn]],}
679- {- [t_opt] is [Some T0].}}
680- - [C: 'a... . T1 * ... * Tn -> T0] when
681- {ul {- [existentials] is [['a;...]],}
682- {- [c_args] is [[T1; ... ; Tn]],}
683- {- [t_opt] is [Some T0].}}
684- *)
666+ (** [Pext_decl(existentials, c_args, t_opt)] describes a new extension
667+ constructor. It can be:
668+ {ul
669+ {- [C of T1 * ... * Tn] when:
670+ - [existentials] is [[]],
671+ - [c_args] is [[T1; ...; Tn]],
672+ - [t_opt] is [None]
673+ }
674+ {- [C: T0] when
675+ - [existentials] is [[]],
676+ - [c_args] is [[]],
677+ - [t_opt] is [Some T0].
678+ }
679+ {- [C: T1 * ... * Tn -> T0] when
680+ - [existentials] is [[]],
681+ - [c_args] is [[T1; ...; Tn]],
682+ - [t_opt] is [Some T0].
683+ }
684+ {- [C: 'a... . T1 * ... * Tn -> T0] when
685+ - [existentials] is [['a;...]],
686+ - [c_args] is [[T1; ... ; Tn]],
687+ - [t_opt] is [Some T0].
688+ }
689+ } *)
685690 | Pext_rebind of longident_loc
686691 (** [Pext_rebind(D)] re-export the constructor [D] with the new name [C]
687692 *)
0 commit comments