pub trait OnBoundFn<N> {
fn call(
&self,
state: ScopeState,
bound_var: &BoundVar<N>
) -> Option<FreeVar<N>>;
}
pub trait OnBoundFn<N> {
fn call(
&self,
state: ScopeState,
bound_var: &BoundVar<N>
) -> Option<FreeVar<N>>;
}