Module Sch.Union

type 'a case = 'a union_case
val case : ?doc:string -> tag:string -> inj:('a -> 'b) -> proj:('b -> 'a option) -> 'a t -> 'b union_case
val ensure_unique_tags : 'a union_case list -> unit
val define : ?doc:string -> ?discriminator:Stdlib.String.t -> 'a union_case list -> 'a t