refl

PPX deriver for reflection
IN THIS PACKAGE
Module Refl . Folds
type (!'a, !'b, !'occurrence) item =
| None : ( 'c, 'd, [ `Absent ] ) item
| Some : ( 'a0, 'b0 ) Fold.t -> ( 'a0, 'b0, 'e ) item
type (!'sequence, !'b, !'occurrences) t =
| [] : ( unit, 'a, unit ) t
| :: : ( 'head, 'b0, 'occurrence ) item * ( 'tail, 'b0, 'occurrences0 ) t -> ( 'head * 'tail, 'b0, 'occurrence * 'occurrences0 ) t
module Unary (U : Traverse.TypeS) : sig ... end