Source file `data_repo_core.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
type cleaner = Core.Ctx.t -> unit Lwt.t

module Meta = struct
  type t = { total : int } [@@deriving show, eq, fields, make]
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