Trait fj_kernel::local::LocalForm

pub trait LocalForm {
    type GlobalForm;
}

Expand description

Implemented for types that are the local form of a global type

See Local for more information.

Required Associated Types

The global form of the implementing type