package vcaml

  1. Overview
  2. Docs
type _ t =
  1. | Nil : Base.unit t
  2. | Integer : Base.int t
  3. | Boolean : Base.bool t
  4. | Array : 'a t -> 'a Base.list t
  5. | Tuple : 'a t * Base.int -> 'a Base.list t
  6. | Dict : (Msgpack.t * Msgpack.t) Base.list t
  7. | String : Base.string t
  8. | Buffer : Buffer.t t
  9. | Tabpage : Tabpage.t t
  10. | Window : Window.t t
  11. | Object : Msgpack.t t
  12. | Custom : {
    1. of_msgpack : Msgpack.t -> 'a Base.Or_error.t;
    2. to_msgpack : 'a -> Msgpack.t;
    } -> 'a t

For use in pattern matching. e.g. if you have a 'a Phantom.t * 'a, if a pattern match on the phantom succeeds on Phantom.Integer, then 'a unifies with int.