Module Type_directed.VariantSource

Data structure that packages the associated Keys of a variant

E.g., the corresponding Variant of the following variant

  type t =
    | A
    | B of int * string
    | C of { f:int }

is

  [ { name = "A"; value = Unlabelled [] }
  ; { name = "B"; value = Unlabelled [ M_int; M_string ] }
  ; { name = "C"; value = Labelled [ { name = "f"; value = M_int } ] }
  ]

with type

  (unit,
   (int * (string * unit), (int * unit, Nothing.t) Either.t)
     Either.t)
    Either.t

Parameters

Signature