Module Batteries_uni.Legacy.Lazy

module Lazy: Lazy