refl

PPX deriver for reflection
IN THIS PACKAGE

Parameters

module T : BinaryTypeS

Signature

type ('a, 'b, 'occurrence) item =
| None : ( _, _, [ `Absent ] ) item
| Some : ( 'a, 'b ) T.t -> ( 'a, 'b, _ ) item
type ('sequence, 'b, 'occurrences) t =
| [] : ( unit, _, unit ) t
| :: : ( 'head, 'b, 'occurrence ) item * ( 'tail, 'b, 'occurrences ) t -> ( 'head * 'tail, 'b, 'occurrence * 'occurrences ) t
module Unary (U : TypeS) : sig ... end