package sihl
Source file model.ml
1 2 3 4 5 6 7 8 9 10 11 12 13 14module Core = Sihl_core 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