Documentation

Batteries.Data.Thunk

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