Elemento exportado de longitud

Nombre completo: Microsoft.Quantum.Core.Length

Se trata de un elemento exportado. La definición real se encuentra aquí: Std.Core.Length