Boxable

Definitions

def box(x: a): BoxedSource
def unbox(x: Boxed): aSource

Unboxes the given x.