basic): add to_list_insert and to_list_cons (#10840)

Commit

4 years ago

feat(data/finset/basic): add to_list_insert and to_list_cons (#10840) Co-authored-by: Eric Wieser <wieser.eric@gmail.com>

Author

Jlh18

Parents