Fixpoint
v0.8.30
Pages
Modules
Search documentation of Fixpoint
Settings
SendMostMoney
(Fixpoint v0.8.30)
Summary
Functions
main()
send_most_money(max_val \\ nil)
Functions
Link to this function
main()
Link to this function
send_most_money(max_val \\ nil)