partial function

Last updated Dec 2, 2024