type t = [ | `Left of F.t| `Right of I.t
]val show_group : group -> 'aval to_group : 'a -> 'b optionval arbitrary : unit -> 'aval hash : [< `Left of F.t | `Right of I.t ] -> intval pretty : unit -> t -> Pretty.docval show : [< `Left of F.t | `Right of I.t ] -> stringval name : unit -> stringval relift :
[< `Left of F.t | `Right of I.t ] ->
[> `Left of F.t | `Right of I.t ]