package refl

  1. Overview
  2. Docs

Parameters

module M : Mapper

Signature

module Tools : sig ... end
module RecordMap : sig ... end
val map_kind : 'structure 'kinds. ('a_arity, 'b_arity, 'subpositive, 'subnegative) M.t -> ('types_a, 'structure, 'a_arity, M.rec_group, 'kinds, 'subpositive, 'subnegative, 'subdirect, M.gadt) Refl__.Desc.constructor_kind -> ('types_b, 'structure, 'b_arity, M.rec_group, 'kinds, 'subpositive, 'subnegative, 'subdirect, M.gadt) Refl__.Desc.constructor_kind -> 'types_a -> 'types_b
val map_choice : 'a_cases 'b_cases 'structures 'kinds. ('a_cases, 'structures, M.a_arity, M.rec_group, 'kinds, M.positive, M.negative, 'direct, M.gadt) Refl__.Desc.constructors -> ('b_cases, 'structures, M.b_arity, M.rec_group, 'kinds, M.positive, M.negative, 'direct, M.gadt) Refl__.Desc.constructors -> 'a_cases Refl__.Desc.binary_choice -> 'b_cases Refl__.Desc.binary_choice
OCaml

Innovation. Community. Security.