constant
Starts a constant binding.
Return
The binder: call with on it to finish the binding syntax and register the binding.
Parameters
tag
The tag to bind.
overrides
Whether this bind must or must not override an existing binding.
Starts a constant binding.
The binder: call with on it to finish the binding syntax and register the binding.
The tag to bind.
Whether this bind must or must not override an existing binding.