Source file `ppx_rapper_runtime.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
module type CUSTOM = sig
  type t

  val t : t Caqti_type.t
end

module Dynparam = struct
  type t = Pack : 'a Caqti_type.t * 'a -> t

  let empty = Pack (Caqti_type.unit, ())

  let add t x (Pack (t', x')) = Pack (Caqti_type.tup2 t' t, (x', x))
end