Manual: paragraph headers in section 7.16 (GADTs)
Manual: paragraph headers in section 7.16 (GADTs)

eliberis/ocaml,yunxing/ocaml,gerdstolpmann/ocaml,msprotz/ocaml,msprotz/ocaml,msprotz/ocaml,eliberis/ocaml,msprotz/ocaml,eliberis/ocaml,yunxing/ocaml,eliberis/ocaml,yunxing/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,eliberis/ocaml,gerdstolpmann/ocaml,yunxing/ocaml,gerdstolpmann/ocaml,yunxing/ocaml,msprotz/ocaml