SIGNATURE Lazy[alpha] SORT alpha SORT lazy FUN lazy : (() -> alpha) -> lazy FUN code : lazy -> () -> alpha FUN eager : alpha -> lazy FUN eval : lazy -> alpha
next node: Reflection,
prev node: InterOpalEquality,
up to node: User Subsystem : Reflections