package refl

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type ('a, 'b) item = ('a -> 'b) * ('b -> 'a)

type ('a, 'b) t =

| [] : (unit, unit) t
| :: : ('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