next node: Reflection,
prev node: InterOpalEquality,
up to node: User Subsystem : Reflections


Lazy

Signature of Lazy

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