Module logic

Logic related types and functionality.

Macros

const_bool

Converts a const bool expression to a type-level boolean.

const_logic

MAYBE

Structs

False

A type-level logical false.

Maybe

A type-level logical maybe.

True

A type-level logical true.

Traits

ConstBool

Allows to convert compile-time constants into type-level booleans.

ConstLogic

MAYBE?

ConstTrool

Allows to convert compile-time constants into type-level trooleans.