Skip to content

remove prefold; add get_folded_value and get_folded_value_maybe #289

remove prefold; add get_folded_value and get_folded_value_maybe

remove prefold; add get_folded_value and get_folded_value_maybe #289