Module util

Some useful logical items

Traits

MakeSized

Helper trait to turn a T into a SizedW<T>

Functions

such_that

Creates a logical value satisfying the property given by p.

unreachable

Indicates unreachable code.

unwrap

Returns the inner value of an Option, given that it is not None

Type Aliases

SizedW

A wrapper around T that makes it safe.