Mina_caqti.Type_spec
type (_, _) t =
| [] : ( unit, unit ) t
| :: : 'c Caqti_type.t * ( 'a, 'b ) t -> ( 'c -> 'a, 'c * 'b ) t
val to_rep : 'hlist 'tuple. ( 'hlist, 'tuple ) t -> 'tuple Caqti_type.t
val hlist_to_tuple : 'hlist 'tuple. ( 'hlist, 'tuple ) t -> ( unit, 'hlist ) H_list.t -> 'tuple
val tuple_to_hlist : 'hlist 'tuple. ( 'hlist, 'tuple ) t -> 'tuple -> ( unit, 'hlist ) H_list.t
val custom_type : to_hlist:( 'a -> ( unit, 'b ) H_list.t ) -> of_hlist:( ( unit, 'c ) H_list.t -> 'd ) -> ( 'e, 'f ) t -> 'g Caqti_type.t