Module Nvim_internal.PhantomSource

Sourcetype _ t =
  1. | Nil : unit t
  2. | Integer : int t
  3. | Boolean : bool t
  4. | Float : float t
  5. | Array : 'a t -> 'a list t
  6. | Tuple : 'a t * int -> 'a list t
  7. | Dict : (Msgpack.t * Msgpack.t) list t
  8. | String : string t
  9. | Buffer : Buffer.t t
  10. | Window : Window.t t
  11. | Tabpage : Tabpage.t t
  12. | Luaref : Luaref.t t
  13. | Object : Msgpack.t t
  14. | Custom : (module Msgpack.Msgpackable with type t = 'a) -> 'a t

For use in pattern matching. For example, if you have a 'a Phantom.t * 'a, if a pattern match on the phantom succeeds on Integer, then 'a unifies with int. Use Custom for serialization & deserialization of custom types.

Sourceval sexp_of_t : ('a__001_ -> Sexplib0.Sexp.t) -> 'a__001_ t -> Sexplib0.Sexp.t