let
div a b = bin_op a
`
Div
b