Bugs
type 'a opt = 'a option
val foo : ?bar:'a -> unit -> unit
Triggers an assertion failure when https://github.com/ocaml/odoc/issues/101 is not fixed.