Type Definition type_level_values::initialization::Construct

type Construct<Type, FVPairs> = <Type as Construct_<FVPairs>>::Output;

Constructs a fully initialized value , initializing all the fields with FVPairs.