let
get_function_strategies ?(assigns=
WithAssigns
) kf =
get_strategies assigns kf []
None
AllProps