package ppx_type_directed_value

  1. Overview
  2. Docs

Data structure that packages the associated Keys of a record

E.g., the corresponding Record of the following record

type t =
  { f1 : int
  ; f2 : string
  }

is

[ { name = "f1"; value = M_int }
; { name = "f2"; value = M_string }
]

with type ((int * (string * unit)), zero succ succ) t

This guarantees at compile time that the length of this Indexed_seq is >= 1

Parameters

Signature

module M_key : sig ... end
type ('a, 'length) t = ('a, 'length) Indexed_seq.Length_at_least_one(M_key).t