Sch.Union
type 'a case
val case : ?doc:string -> tag:string -> inj:('b -> 'a) -> proj:('a -> 'b option) -> 'b t -> 'a case
val define : ?doc:string -> ?discriminator:string -> 'a case list -> 'a t