package refl

  1. Overview
  2. Docs

Parameters

module V : VisitorS

Signature

module Visitor : sig ... end
module Visitors : Tools.VectorS with type 'a T.t = 'a Visitor.t
val visit : ('a, 'structure, 'arity, 'rec_group, [ Refl__.Desc.Kinds.builtin | Refl__.Desc.Kinds.structural_without_object | `Variable | `Lazy | `GADT | `MapOpaque | `Opaque ], 'positive, 'negative, 'direct, 'gadt) Refl__.Desc.desc -> ('arity, 'direct) Visitors.t -> 'a Visitor.t