[] : List { index : Natural, value : Bool }