Idris2Doc : Libraries.Data.List.HasLength

Libraries.Data.List.HasLength

(source)
Definitions
cast : (0 _ : length xs = length ys) -> HasLength m xs -> HasLength m ys
  Visibility: export