package refl

  1. Overview
  2. Docs
type ('a, 'b) item = ('a -> 'b) * ('b -> 'a)
type ('a, 'b) t =
  1. | [] : (unit, unit) t
  2. | :: : ('a, 'b) item * ('at, 'bt) t -> ('a * 'at, 'b * 'bt) t
val get : 'index 'arity_a 'a 'positive_a 'direct_a 'arity_b 'b 'positive_b 'direct_b. ('index, 'arity_a, 'a, 'positive_a, 'direct_a) Refl__.Desc.variable -> ('index, 'arity_b, 'b, 'positive_b, 'direct_b) Refl__.Desc.variable -> ('arity_a, 'arity_b) t -> 'a -> 'b
val reverse : 'arity_a 'arity_b. ('arity_a, 'arity_b) t -> ('arity_b, 'arity_a) t