Długość wyeksportowanego elementu

W pełni kwalifikowana nazwa: Microsoft.Quantum.Core.Length

Jest to wyeksportowany element. Rzeczywista definicja znajduje się tutaj: Std.Core.Length