Type Definition prop::path_semantics::LN[−][src]

type LN<N, A, B, C, D> = <Normalise<A, B, C, D> as Lookup<N>>::Out;

Look up type N among the normalised A, B, C, D.