pub fn parse_binding(binding: &Node) -> Option<(String, String)>Expand description
Parse a binding form in two supported syntaxes:
- Colon form: (x: A) as [“x:”, A] — standard LiNo link definition syntax
- Prefix type form: (A x) as [“A”, “x”] — type-first notation for lambda/Pi bindings e.g. (Natural x), used in (lambda (Natural x) body) Returns (param_name, param_type_key) or None.