let
apply f v =
fun
~var_count
->
entity (
SP
.separate
SP
.space [f ~var_count; v ~var_count])