new helper predicate RangeSpanContains

Summary: This is useful for things like call hierarchy (who calls who)

Differential Revision: D88166192

fbshipit-source-id: bb3f57f3d439fe8a46c40bbd86f07a0391ce9e3f

Author: Catherine Gasnier

glean/schema/source/lsif.types.angle

@@ -57,6 +57,18 @@ type RangeSpan =
     columnEnd : nat,
   }
 
+predicate RangeSpanContains:
+  {
+    inner: RangeSpan,
+    outer: RangeSpan,
+  } { I, O } where
+    {LBI, CBI, LEI, CEI} = I;
+    {LBO, CBO, LEO, CEO} = O;
+    LBO <= LBI;
+    LEI <= LEO;
+    (LBO < LBI | CBO <= CBI);
+    (LEI < LEO | CEI <= CEO)
+
 # convenience to convert between lsif.RangeSpan and src.Range
 # These are both 1-indexed range types, but lsif doesn't have a File
 predicate ToSrcRange: