Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Embed a Conv_based
profunctor-ish into a full profunctor, allowing the use of Record_builder
directly.
val inj : 'a conv_based -> ('a, 'a) t
val prj : ('a, 'a) t -> 'a conv_based
module Of_record :
Record_builder
with type 'a profunctor_term = 'a conv_based
and type ('b, 'a) profunctor = ('b, 'a) t