Module creusot_contracts::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.