Documentation

Batteries.Data.Thunk

theorem Thunk.ext {α : Type u_1} {a : Thunk α} {b : Thunk α} :
a.get = b.geta = b