Binding rules for function types

crates/solidity/inputs/language/bindings/rules.msgb

@@ -371,6 +371,11 @@ attribute symbol_reference = symbol  => type = "push_symbol", symbol = symbol, i
   edge @type_name.output -> @array.output
 }
 
+@type_name [TypeName @ftype [FunctionType]] {
+  edge @ftype.lexical_scope -> @type_name.type_ref
+  edge @type_name.output -> @ftype.output
+}
+
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;; Mappings
@@ -438,6 +443,25 @@ attribute symbol_reference = symbol  => type = "push_symbol", symbol = symbol, i
 }
 
 
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+;;; Function types
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+
+@ftype [FunctionType] {
+  node @ftype.lexical_scope
+  node @ftype.output
+}
+
+@ftype [FunctionType @params [ParametersDeclaration]] {
+  edge @params.lexical_scope -> @ftype.lexical_scope
+}
+
+@ftype [FunctionType [ReturnsDeclaration @return_params [ParametersDeclaration]]] {
+  edge @return_params.lexical_scope -> @ftype.lexical_scope
+}
+
+
+
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;; Identifier Paths (aka. references to custom types)
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

crates/solidity/testing/snapshots/bindings_assertions/function_types/external.sol

@@ -0,0 +1,32 @@
+contract Test {
+    struct Coords {
+        // ^def:1
+        int x;
+        int y;
+    }
+    enum  HitTest {
+        //^def:2
+        Inside,
+        Outside
+    }
+    struct Box {
+        // ^def:3
+        function (Coords memory) external returns (HitTest) hitTest;
+        //                                                  ^def:4
+        //                                         ^ref:2
+        //        ^ref:1
+    }
+    Box[] boxes;
+    //    ^def:5
+    //<ref:3
+
+    function insideBoxes(Coords memory p) public returns (bool) {
+        for (uint i = 0; i < boxes.length; i++) {
+            if (boxes[i].hitTest(p) == HitTest.Inside) return true;
+            //                         ^ref:2
+            //           ^ref:4
+            //  ^ref:5
+        }
+        return false;
+    }
+}

crates/solidity/testing/snapshots/bindings_assertions/function_types/internal.sol

@@ -0,0 +1,21 @@
+library Utils {
+    enum Answer { Yes, No }
+    //   ^def:1
+
+    function runCallback(Answer input, function (Answer) f) internal {
+        //                                               ^def:2
+        //                                       ^ref:1
+        f(input);
+        //<ref:2
+    }
+
+    function map(Answer input, function (Answer) returns (Answer) f)
+        //                                                        ^def:3
+        //                                                ^ref:1
+        //                               ^ref:1
+        internal returns (Answer result)
+    {
+        result = f(input);
+        //       ^ref:3
+    }
+}