def Lake.Reservoir.lakeHeaders : Array String

inductive Lake.ReservoirResp (α : Type u) : Type u

A Reservoir API response object.

• data {α : Type u} (a : α) : ReservoirResp α
• error {α : Type u} (status : Nat) (message : String) : ReservoirResp α

def Lake.ReservoirResp.fromJson? {α : Type} [Lean.FromJson α] (val : Lean.Json) : Except String (ReservoirResp α)

@[implicit_reducible]

instance Lake.instFromJsonReservoirResp {α : Type} [Lean.FromJson α] : Lean.FromJson (ReservoirResp α)