Module type `Sigs.FUNCTORIAL`

type internal

module type COLUMN = sig ... end

module Table
  (_ : sig ... end)
  (Key : COLUMN)
  (Value : COLUMN) : 
  TABLE with type key = Key.t and type value = Value.t

module Column : sig ... end