[____] [____] [_____] [____] [__]
[Index]
[Root]
Index Y
Y-key
Y
y-key
y range
Y1
ConstructionY1(C) : Code -> Code
ConstructionY1(C, w) : Code, RngIntElt -> Code
[____] [____] [_____] [____] [__]
[Index]
[Root]