[doc] Update the website

Summary: Includes all changes made from the last time of `make doc-publish`

Reviewed By: jvillard

Differential Revision: D24728644

fbshipit-source-id: c0006a8dd

website/docs/all-issue-types.md

@@ -486,6 +486,11 @@ int foo(){
 }
 ```
 
+## ERADICATE_ANNOTATION_GRAPH
+
+Reported as "Annotation Graph" by [eradicate](/docs/next/checker-eradicate).
+
+
 ## ERADICATE_BAD_NESTED_CLASS_ANNOTATION
 
 Reported as "@Nullsafe annotation is inconsistent with outer class" by [eradicate](/docs/next/checker-eradicate).
@@ -1311,7 +1316,58 @@ but that is for later.
 
 Reported as "Optional Empty Access" by [pulse](/docs/next/checker-pulse).
 
-Reports on accessing folly::Optional when it is none.
+Optional Empty Access warnings are reported when we try to retrieve the value of a [`folly::Optional`](https://github.com/facebook/folly/blob/master/folly/Optional.h) when it is empty (i.e. `folly::none`).
+
+In the following example we get a warning as `int_opt` might be `folly::none` and its value is being accessed:
+
+```cpp
+bool somef(int v);
+
+folly::Optional<int> mightReturnNone(int v) {
+   if (somef(v)) {
+      return folly::Optional(v);
+   }
+
+   return folly::none;
+}
+
+int value_no_check() {
+  folly::Optional<int> int_opt = mightReturnNone (4);
+  return int_opt.value(); // Optional Empty Access warning
+}
+```
+
+We do not get the warning anymore if we add a check whether `int_opt` is not empty:
+
+```cpp
+int value_check() {
+  folly::Optional<int> int_opt = mightReturnNone (4);
+  if (int_opt.has_value()) {
+     return int_opt.value(); // OK
+  }
+  return -1;
+}
+```
+
+In some cases we know that we have a non-empty value and there is no need to have a check. Consider the following example where Infer does not warn:
+
+```cpp
+bool somef(int v) {return v > 3;};
+
+folly::Optional<int> mightReturnNone(int v) {
+   if (somef(v)) {
+      return folly::Optional(v);
+   }
+
+   return folly::none;
+}
+
+int value_no_check() {
+  folly::Optional<int> int_opt = mightReturnNone (4); // cannot be folly::none
+  return int_opt.value(); // OK
+}
+```
+
 ## PARAMETER_NOT_NULL_CHECKED
 
 Reported as "Parameter Not Null Checked" by [biabduction](/docs/next/checker-biabduction).

website/docs/checker-eradicate.md

@@ -91,6 +91,7 @@ class C {
 ## List of Issue Types
 
 The following issue types are reported by this checker:
+- [ERADICATE_ANNOTATION_GRAPH](/docs/next/all-issue-types#eradicate_annotation_graph)
 - [ERADICATE_BAD_NESTED_CLASS_ANNOTATION](/docs/next/all-issue-types#eradicate_bad_nested_class_annotation)
 - [ERADICATE_CONDITION_REDUNDANT](/docs/next/all-issue-types#eradicate_condition_redundant)
 - [ERADICATE_FIELD_NOT_INITIALIZED](/docs/next/all-issue-types#eradicate_field_not_initialized)

website/static/man/next/infer-analyze.1.html

@@ -73,12 +73,12 @@ report.</p>
 
 <p style="margin-left:17%;">Activates: checker
 annotation-reachability: Given a pair of source and sink
-annotation, e.g. &rsquo;@PerformanceCritical&rsquo; and
+annotation, e.g. &lsquo;@PerformanceCritical&lsquo; and
-&rsquo;@Expensive&rsquo;, this checker will warn whenever
+&lsquo;@Expensive&lsquo;, this checker will warn whenever
 some method annotated with
-&rsquo;@PerformanceCritical&rsquo; calls, directly or
+&lsquo;@PerformanceCritical&lsquo; calls, directly or
 indirectly, another method annotated with
-&rsquo;@Expensive&rsquo; (Conversely:
+&lsquo;@Expensive&lsquo; (Conversely:
 <b>--no-annotation-reachability</b>)</p>
 
 
@@ -152,7 +152,7 @@ given the same before. Not compatible with
 <p style="margin-left:17%;">Activates: checker cost:
 Computes the time complexity of functions and methods. Can
 be used to detect changes in runtime complexity with
-&rsquo;infer reportdiff&rsquo;. (Conversely:
+&lsquo;infer reportdiff&lsquo;. (Conversely:
 <b>--no-cost</b>)</p>
 
 <p style="margin-left:11%;"><b>--cost-only</b></p>
@@ -161,6 +161,13 @@ be used to detect changes in runtime complexity with
 disable all other checkers (Conversely:
 <b>--no-cost-only</b>)</p>
 
+
+<p style="margin-left:11%;"><b>--no-cost-suppress-func-ptr</b></p>
+
+<p style="margin-left:17%;">Deactivates: Suppress printing
+function pointers in cost reports (Conversely:
+<b>--cost-suppress-func-ptr</b>)</p>
+
 <p style="margin-left:11%;"><b>--custom-symbols</b>
 <i>json</i></p>
 
@@ -226,7 +233,7 @@ reporting. (Conversely: <b>--deduplicate</b>)</p>
 <p style="margin-left:11%;"><b>--eradicate</b></p>
 
 <p style="margin-left:17%;">Activates: checker eradicate:
-The eradicate &rsquo;@Nullable&rsquo; checker for Java
+The eradicate &lsquo;@Nullable&lsquo; checker for Java
 annotations. (Conversely: <b>--no-eradicate</b>)</p>
 
 <p style="margin-left:11%;"><b>--eradicate-only</b></p>
@@ -272,9 +279,9 @@ internal options in the INTERNAL OPTIONS section</p>
 <p style="margin-left:17%;">Activates: checker
 immutable-cast: Detection of object cast from immutable
 types to mutable types. For instance, it will detect casts
-from &rsquo;ImmutableList&rsquo; to &rsquo;List&rsquo;,
+from &lsquo;ImmutableList&lsquo; to &lsquo;List&lsquo;,
-&rsquo;ImmutableMap&rsquo; to &rsquo;Map&rsquo;, and
+&lsquo;ImmutableMap&lsquo; to &lsquo;Map&lsquo;, and
-&rsquo;ImmutableSet&rsquo; to &rsquo;Set&rsquo;.
+&lsquo;ImmutableSet&lsquo; to &lsquo;Set&lsquo;.
 (Conversely: <b>--no-immutable-cast</b>)</p>
 
 
@@ -343,7 +350,7 @@ disable all other checkers (Conversely:
 
 <p style="margin-left:17%;">Activates: checker
 litho-required-props: Checks that all non-optional
-&rsquo;@Prop&rsquo;s have been specified when constructing
+&lsquo;@Prop&lsquo;s have been specified when constructing
 Litho components. (Conversely:
 <b>--no-litho-required-props</b>)</p>
 
@@ -401,11 +408,11 @@ stdout and stderr (Conversely: <b>--no-print-logs</b>)</p>
 <p style="margin-left:11%;"><b>--printf-args</b></p>
 
 <p style="margin-left:17%;">Activates: checker printf-args:
-Detect mismatches between the Java &rsquo;printf&rsquo;
+Detect mismatches between the Java &lsquo;printf&lsquo;
 format strings and the argument types For example, this
 checker will warn about the type error in
-&rsquo;printf(&quot;Hello %d&quot;,
+&lsquo;printf(&quot;Hello %d&quot;,
-&quot;world&quot;)&rsquo; (Conversely:
+&quot;world&quot;)&lsquo; (Conversely:
 <b>--no-printf-args</b>)</p>
 
 <p style="margin-left:11%;"><b>--printf-args-only</b></p>
@@ -584,7 +591,7 @@ performs better in some circumstances <b><br>
 
 <p style="margin-left:17%;">Deactivates: checker
 self-in-block: An Objective-C-specific analysis to detect
-when a block captures &rsquo;self&rsquo;. (Conversely:
+when a block captures &lsquo;self&lsquo;. (Conversely:
 <b>--self-in-block</b>)</p>
 
 

website/static/man/next/infer-capture.1.html

@@ -232,6 +232,16 @@ database operations, in milliseconds.</p>
 <p style="margin-left:17%;">SQLite page size in bytes, must
 be a power of two between 512 and 65536.</p>
 
+<p style="margin-left:11%;"><b>--workspace</b>
+<i>path</i></p>
+
+<p style="margin-left:17%;">Specifies the root of the
+workspace, which is a directory containing
+<b>--project-root</b>. This can be needed if the capture
+phase is expected to require several <i>different</i>
+project roots, all relative to a common workspace. Usually a
+single project root is enough, though.</p>
+
 <table width="100%" border="0" rules="none" frame="void"
        cellspacing="0" cellpadding="0">
 <tr valign="top" align="left">
@@ -340,14 +350,14 @@ matched by the specified regular expression. Only valid for
 <i>+string</i></p>
 
 <p style="margin-left:17%;">Pass values as command-line
-arguments to invocations of <i>&rsquo;buck build&rsquo;</i>.
+arguments to invocations of <i>&lsquo;buck build&lsquo;</i>.
 Only valid for <b>--buck-clang</b>.</p>
 
 <p style="margin-left:11%;"><b>--Xbuck-no-inline</b>
 <i>+string</i></p>
 
 <p style="margin-left:17%;">Pass values as command-line
-arguments to invocations of <i>&rsquo;buck build&rsquo;</i>,
+arguments to invocations of <i>&lsquo;buck build&lsquo;</i>,
 don't inline any args starting with '@'. Only valid for
 <b>--buck-clang</b>.</p>
 
@@ -439,7 +449,8 @@ AL files, then emit possible errors in JSON format to stdout
 <i>file</i></p>
 
 <p style="margin-left:17%;">Specify a file containing the
-AST of the program, in biniou format</p>
+AST of the program, in biniou format. Please note you still
+need to provide a compilation command.</p>
 
 
 <p style="margin-left:11%;"><b>--clang-blacklisted-flags</b>
@@ -463,6 +474,13 @@ initialization of compound types (structs and arrays) is not
 done element by element but using a builtin function that
 each analysis has to model.</p>
 
+<p style="margin-left:11%;"><b>--clang-yojson-file</b>
+<i>file</i></p>
+
+<p style="margin-left:17%;">Specify a file containing the
+AST of the program, in yojson format. Please note you still
+need to provide a compilation command.</p>
+
 <p style="margin-left:11%;"><b>--compilation-database</b>
 <i>+path</i></p>
 
@@ -519,8 +537,8 @@ arguments to invocations of clang</p>
 <p style="margin-left:17%;">Activates: Infer will use
 xcpretty together with xcodebuild to analyze an iOS app.
 xcpretty just needs to be in the path, infer command is
-still just <i>&rsquo;infer -- &lt;xcodebuild
+still just <i>&lsquo;infer -- &lt;xcodebuild
-command&gt;&rsquo;</i>. (Conversely:
+command&gt;&lsquo;</i>. (Conversely:
 <b>--no-xcpretty</b>)</p>
 
 <h2>JAVA OPTIONS

website/static/man/next/infer-debug.1.html

@@ -94,6 +94,12 @@ undefined, and to <b>pager</b> otherwise.</p>
 <p style="margin-left:17%;">Show this manual with all
 internal options in the INTERNAL OPTIONS section</p>
 
+<p style="margin-left:11%;"><b>--select</b>
+<i>(N|all)</i></p>
+
+<p style="margin-left:17%;">Select option number <i>N</i>
+or <i>all</i> of them. If omitted, prompt for input.</p>
+
 <h2>DEBUG GLOBAL TYPE ENVIRONMENT
 <a name="DEBUG GLOBAL TYPE ENVIRONMENT"></a>
 </h2>
@@ -174,6 +180,13 @@ found in the output of <b>--procedures</b> (Conversely:
 of each procedure in the output of <b>--procedures</b>
 (Conversely: <b>--no-procedures-summary</b>)</p>
 
+
+<p style="margin-left:11%;"><b>--procedures-summary-json</b></p>
+
+<p style="margin-left:17%;">Activates: Emit the summaries
+of each procedure in the output of <b>--procedures</b> as
+JSON (Conversely: <b>--no-procedures-summary-json</b>)</p>
+
 <h2>DEBUG SOURCE FILES
 <a name="DEBUG SOURCE FILES"></a>
 </h2>

website/static/man/next/infer-explore.1.html

@@ -104,10 +104,11 @@ report. (Conversely: <b>--no-html</b>)</p>
 to show. Trace elements beyond the maximum nesting level are
 skipped. If omitted, all levels are shown.</p>
 
-<p style="margin-left:11%;"><b>--select</b> <i>N</i></p>
+<p style="margin-left:11%;"><b>--select</b>
+<i>(N|all)</i></p>
 
-<p style="margin-left:17%;">Select bug number <i>N</i>. If
+<p style="margin-left:17%;">Select option number <i>N</i>
-omitted, prompt for input.</p>
+or <i>all</i> of them. If omitted, prompt for input.</p>
 
 <p style="margin-left:11%;"><b>--no-source-preview</b></p>
 

website/static/man/next/infer-report.1.html

@@ -78,18 +78,18 @@ are specified, they are applied in the order in which they
 are specified. Each filter is applied to each issue
 detected, and only issues which are accepted by all filters
 are reported. Each filter is of the form:
-’<issue_type_regex>:<filename_regex>:<reason_string>’.
+‘<issue_type_regex>:<filename_regex>:<reason_string>‘.
 The first two components are OCaml Str regular expressions,
-with an optional ’!’ character prefix. If a
+with an optional ‘!‘ character prefix. If a
-regex has a ’!’ prefix, the polarity is
+regex has a ‘!‘ prefix, the polarity is
 inverted, and the filter becomes a "blacklist"
 instead of a "whitelist". Each filter is
 interpreted as an implication: an issue matches if it does
-not match the ’issue_type_regex’ or if it does
+not match the ‘issue_type_regex‘ or if it does
-match the ’filename_regex’. The filenames that
+match the ‘filename_regex‘. The filenames that
 are tested by the regex are relative to the
-’--project-root’ directory. The
+‘--project-root‘ directory. The
-’<reason_string>’ is a non-empty string
+‘<reason_string>‘ is a non-empty string
 used to explain why the issue was filtered.</p>
 
 <p style="margin-left:11%;"><b>--cost-issues-tests</b>
@@ -231,6 +231,7 @@ default), <br>
 DIVIDE_BY_ZERO (disabled by default), <br>
 DO_NOT_REPORT (enabled by default), <br>
 EMPTY_VECTOR_ACCESS (enabled by default), <br>
+ERADICATE_ANNOTATION_GRAPH (enabled by default), <br>
 ERADICATE_BAD_NESTED_CLASS_ANNOTATION (enabled by default),
 <br>
 ERADICATE_CONDITION_REDUNDANT (enabled by default), <br>
@@ -306,7 +307,7 @@ MULTIPLE_WEAKSELF (enabled by default), <br>
 MUTABLE_LOCAL_VARIABLE_IN_COMPONENT_FILE (enabled by
 default), <br>
 Missing_fld (enabled by default), <br>
-NULLPTR_DEREFERENCE (disabled by default), <br>
+NULLPTR_DEREFERENCE (enabled by default), <br>
 NULL_DEREFERENCE (enabled by default), <br>
 OPTIONAL_EMPTY_ACCESS (disabled by default), <br>
 PARAMETER_NOT_NULL_CHECKED (enabled by default), <br>

website/static/man/next/infer-run.1.html

@@ -81,18 +81,18 @@ are specified, they are applied in the order in which they
 are specified. Each filter is applied to each issue
 detected, and only issues which are accepted by all filters
 are reported. Each filter is of the form:
-’<issue_type_regex>:<filename_regex>:<reason_string>’.
+‘<issue_type_regex>:<filename_regex>:<reason_string>‘.
 The first two components are OCaml Str regular expressions,
-with an optional ’!’ character prefix. If a
+with an optional ‘!‘ character prefix. If a
-regex has a ’!’ prefix, the polarity is
+regex has a ‘!‘ prefix, the polarity is
 inverted, and the filter becomes a "blacklist"
 instead of a "whitelist". Each filter is
 interpreted as an implication: an issue matches if it does
-not match the ’issue_type_regex’ or if it does
+not match the ‘issue_type_regex‘ or if it does
-match the ’filename_regex’. The filenames that
+match the ‘filename_regex‘. The filenames that
 are tested by the regex are relative to the
-’--project-root’ directory. The
+‘--project-root‘ directory. The
-’<reason_string>’ is a non-empty string
+‘<reason_string>‘ is a non-empty string
 used to explain why the issue was filtered.</p>
 
 <p style="margin-left:11%;"><b>--debug</b>,<b>-g</b></p>

website/static/man/next/infer.1.html

@@ -121,12 +121,12 @@ reserved for internal use). <b><br>
 
 <p style="margin-left:17%;">Activates: checker
 annotation-reachability: Given a pair of source and sink
-annotation, e.g. &rsquo;@PerformanceCritical&rsquo; and
+annotation, e.g. &lsquo;@PerformanceCritical&lsquo; and
-&rsquo;@Expensive&rsquo;, this checker will warn whenever
+&lsquo;@Expensive&lsquo;, this checker will warn whenever
 some method annotated with
-&rsquo;@PerformanceCritical&rsquo; calls, directly or
+&lsquo;@PerformanceCritical&lsquo; calls, directly or
 indirectly, another method annotated with
-&rsquo;@Expensive&rsquo; (Conversely:
+&lsquo;@Expensive&lsquo; (Conversely:
 <b>--no-annotation-reachability</b>)</p>
 
 <p style="margin-left:11%;">See also
@@ -365,18 +365,18 @@ are specified, they are applied in the order in which they
 are specified. Each filter is applied to each issue
 detected, and only issues which are accepted by all filters
 are reported. Each filter is of the form:
-&rsquo;&lt;issue_type_regex&gt;:&lt;filename_regex&gt;:&lt;reason_string&gt;&rsquo;.
+&lsquo;&lt;issue_type_regex&gt;:&lt;filename_regex&gt;:&lt;reason_string&gt;&lsquo;.
 The first two components are OCaml Str regular expressions,
-with an optional &rsquo;!&rsquo; character prefix. If a
+with an optional &lsquo;!&lsquo; character prefix. If a
-regex has a &rsquo;!&rsquo; prefix, the polarity is
+regex has a &lsquo;!&lsquo; prefix, the polarity is
 inverted, and the filter becomes a &quot;blacklist&quot;
 instead of a &quot;whitelist&quot;. Each filter is
 interpreted as an implication: an issue matches if it does
-not match the &rsquo;issue_type_regex&rsquo; or if it does
+not match the &lsquo;issue_type_regex&lsquo; or if it does
-match the &rsquo;filename_regex&rsquo;. The filenames that
+match the &lsquo;filename_regex&lsquo;. The filenames that
 are tested by the regex are relative to the
-&rsquo;--project-root&rsquo; directory. The
+&lsquo;--project-root&lsquo; directory. The
-&rsquo;&lt;reason_string&gt;&rsquo; is a non-empty string
+&lsquo;&lt;reason_string&gt;&lsquo; is a non-empty string
 used to explain why the issue was filtered.</p>
 
 <p style="margin-left:11%;">See also <b>infer-report</b>(1)
@@ -393,7 +393,8 @@ root or be absolute</p>
 --clang-biniou-file</b> <i>file</i></p>
 
 <p style="margin-left:17%;">Specify a file containing the
-AST of the program, in biniou format</p>
+AST of the program, in biniou format. Please note you still
+need to provide a compilation command.</p>
 
 <p style="margin-left:11%;">See also
 <b>infer-capture</b>(1). <b><br>
@@ -419,6 +420,14 @@ each analysis has to model.</p>
 
 <p style="margin-left:11%;">See also
 <b>infer-analyze</b>(1) and <b>infer-capture</b>(1). <b><br>
+--clang-yojson-file</b> <i>file</i></p>
+
+<p style="margin-left:17%;">Specify a file containing the
+AST of the program, in yojson format. Please note you still
+need to provide a compilation command.</p>
+
+<p style="margin-left:11%;">See also
+<b>infer-capture</b>(1). <b><br>
 --compilation-database</b> <i>+path</i></p>
 
 <p style="margin-left:17%;">File that contain compilation
@@ -478,7 +487,7 @@ given the same before. Not compatible with
 <p style="margin-left:17%;">Activates: checker cost:
 Computes the time complexity of functions and methods. Can
 be used to detect changes in runtime complexity with
-&rsquo;infer reportdiff&rsquo;. (Conversely:
+&lsquo;infer reportdiff&lsquo;. (Conversely:
 <b>--no-cost</b>)</p>
 
 <p style="margin-left:11%;">See also
@@ -496,6 +505,14 @@ a format suitable for cost tests to <i>file</i></p>
 disable all other checkers (Conversely:
 <b>--no-cost-only</b>)</p>
 
+<p style="margin-left:11%;">See also
+<b>infer-analyze</b>(1). <b><br>
+--no-cost-suppress-func-ptr</b></p>
+
+<p style="margin-left:17%;">Deactivates: Suppress printing
+function pointers in cost reports (Conversely:
+<b>--cost-suppress-func-ptr</b>)</p>
+
 <p style="margin-left:11%;">See also
 <b>infer-analyze</b>(1). <b><br>
 --cost-tests-only-autoreleasepool</b></p>
@@ -719,6 +736,7 @@ default), <br>
 DIVIDE_BY_ZERO (disabled by default), <br>
 DO_NOT_REPORT (enabled by default), <br>
 EMPTY_VECTOR_ACCESS (enabled by default), <br>
+ERADICATE_ANNOTATION_GRAPH (enabled by default), <br>
 ERADICATE_BAD_NESTED_CLASS_ANNOTATION (enabled by default),
 <br>
 ERADICATE_CONDITION_REDUNDANT (enabled by default), <br>
@@ -794,7 +812,7 @@ MULTIPLE_WEAKSELF (enabled by default), <br>
 MUTABLE_LOCAL_VARIABLE_IN_COMPONENT_FILE (enabled by
 default), <br>
 Missing_fld (enabled by default), <br>
-NULLPTR_DEREFERENCE (disabled by default), <br>
+NULLPTR_DEREFERENCE (enabled by default), <br>
 NULL_DEREFERENCE (enabled by default), <br>
 OPTIONAL_EMPTY_ACCESS (disabled by default), <br>
 PARAMETER_NOT_NULL_CHECKED (enabled by default), <br>
@@ -865,7 +883,7 @@ or off.</p>
 --eradicate</b></p>
 
 <p style="margin-left:17%;">Activates: checker eradicate:
-The eradicate &rsquo;@Nullable&rsquo; checker for Java
+The eradicate &lsquo;@Nullable&lsquo; checker for Java
 annotations. (Conversely: <b>--no-eradicate</b>)</p>
 
 <p style="margin-left:11%;">See also
@@ -1067,9 +1085,9 @@ report. (Conversely: <b>--no-html</b>)</p>
 <p style="margin-left:17%;">Activates: checker
 immutable-cast: Detection of object cast from immutable
 types to mutable types. For instance, it will detect casts
-from &rsquo;ImmutableList&rsquo; to &rsquo;List&rsquo;,
+from &lsquo;ImmutableList&lsquo; to &lsquo;List&lsquo;,
-&rsquo;ImmutableMap&rsquo; to &rsquo;Map&rsquo;, and
+&lsquo;ImmutableMap&lsquo; to &lsquo;Map&lsquo;, and
-&rsquo;ImmutableSet&rsquo; to &rsquo;Set&rsquo;.
+&lsquo;ImmutableSet&lsquo; to &lsquo;Set&lsquo;.
 (Conversely: <b>--no-immutable-cast</b>)</p>
 
 <p style="margin-left:11%;">See also
@@ -1263,7 +1281,7 @@ issue types that infer might report. (Conversely:
 
 <p style="margin-left:17%;">Activates: checker
 litho-required-props: Checks that all non-optional
-&rsquo;@Prop&rsquo;s have been specified when constructing
+&lsquo;@Prop&lsquo;s have been specified when constructing
 Litho components. (Conversely:
 <b>--no-litho-required-props</b>)</p>
 
@@ -1390,11 +1408,11 @@ infer-run</b>(1). <b><br>
 --printf-args</b></p>
 
 <p style="margin-left:17%;">Activates: checker printf-args:
-Detect mismatches between the Java &rsquo;printf&rsquo;
+Detect mismatches between the Java &lsquo;printf&lsquo;
 format strings and the argument types For example, this
 checker will warn about the type error in
-&rsquo;printf(&quot;Hello %d&quot;,
+&lsquo;printf(&quot;Hello %d&quot;,
-&quot;world&quot;)&rsquo; (Conversely:
+&quot;world&quot;)&lsquo; (Conversely:
 <b>--no-printf-args</b>)</p>
 
 <p style="margin-left:11%;">See also
@@ -1479,6 +1497,14 @@ found in the output of <b>--procedures</b> (Conversely:
 of each procedure in the output of <b>--procedures</b>
 (Conversely: <b>--no-procedures-summary</b>)</p>
 
+<p style="margin-left:11%;">See also <b>infer-debug</b>(1).
+<b><br>
+--procedures-summary-json</b></p>
+
+<p style="margin-left:17%;">Activates: Emit the summaries
+of each procedure in the output of <b>--procedures</b> as
+JSON (Conversely: <b>--no-procedures-summary-json</b>)</p>
+
 <p style="margin-left:11%;">See also <b>infer-debug</b>(1).
 <b><br>
 --no-progress-bar</b>,<b>-P</b></p>
@@ -1789,18 +1815,18 @@ duplicate work between different analysis processes and thus
 <br>
 performs better in some circumstances <br>
 See also <b>infer-analyze</b>(1). <b><br>
---select</b> <i>N</i></p>
+--select</b> <i>(N|all)</i></p>
 
-<p style="margin-left:17%;">Select bug number <i>N</i>. If
+<p style="margin-left:17%;">Select option number <i>N</i>
-omitted, prompt for input.</p>
+or <i>all</i> of them. If omitted, prompt for input.</p>
 
-<p style="margin-left:11%;">See also
+<p style="margin-left:11%;">See also <b>infer-debug</b>(1)
-<b>infer-explore</b>(1). <b><br>
+and <b>infer-explore</b>(1). <b><br>
 --no-self-in-block</b></p>
 
 <p style="margin-left:17%;">Deactivates: checker
 self-in-block: An Objective-C-specific analysis to detect
-when a block captures &rsquo;self&rsquo;. (Conversely:
+when a block captures &lsquo;self&lsquo;. (Conversely:
 <b>--self-in-block</b>)</p>
 
 <p style="margin-left:11%;">See also
@@ -2066,6 +2092,17 @@ json format and exit</p>
 
 <p style="margin-left:11%;">See also <b>infer-run</b>(1).
 <b><br>
+--workspace</b> <i>path</i></p>
+
+<p style="margin-left:17%;">Specifies the root of the
+workspace, which is a directory containing
+<b>--project-root</b>. This can be needed if the capture
+phase is expected to require several <i>different</i>
+project roots, all relative to a common workspace. Usually a
+single project root is enough, though.</p>
+
+<p style="margin-left:11%;">See also
+<b>infer-capture</b>(1). <b><br>
 --write-website</b> <i>path_to_website_dir</i></p>
 
 <p style="margin-left:17%;">Use to write website files
@@ -2079,7 +2116,7 @@ Infer directory to generate its website at
 --Xbuck</b> <i>+string</i></p>
 
 <p style="margin-left:17%;">Pass values as command-line
-arguments to invocations of <i>&rsquo;buck build&rsquo;</i>.
+arguments to invocations of <i>&lsquo;buck build&lsquo;</i>.
 Only valid for <b>--buck-clang</b>.</p>
 
 <p style="margin-left:11%;">See also
@@ -2087,7 +2124,7 @@ Only valid for <b>--buck-clang</b>.</p>
 --Xbuck-no-inline</b> <i>+string</i></p>
 
 <p style="margin-left:17%;">Pass values as command-line
-arguments to invocations of <i>&rsquo;buck build&rsquo;</i>,
+arguments to invocations of <i>&lsquo;buck build&lsquo;</i>,
 don't inline any args starting with '@'. Only valid for
 <b>--buck-clang</b>.</p>
 
@@ -2119,8 +2156,8 @@ isysroot directory, to avoid absolute paths in tests</p>
 <p style="margin-left:17%;">Activates: Infer will use
 xcpretty together with xcodebuild to analyze an iOS app.
 xcpretty just needs to be in the path, infer command is
-still just <i>&rsquo;infer -- &lt;xcodebuild
+still just <i>&lsquo;infer -- &lt;xcodebuild
-command&gt;&rsquo;</i>. (Conversely:
+command&gt;&lsquo;</i>. (Conversely:
 <b>--no-xcpretty</b>)</p>
 
 <p style="margin-left:11%;">See also
@@ -2155,9 +2192,9 @@ may be passed to all infer commands using the
 <b>INFER_ARGS</b> environment variable (see the
 <i>OPTIONS</i> section). <b>INFER_ARGS</b> is expected to
 contain a string of ^-separated options. For instance,
-calling &rsquo;INFER_ARGS=--debug^--print-logs infer&rsquo;
+calling &lsquo;INFER_ARGS=--debug^--print-logs infer&lsquo;
-is equivalent to calling &rsquo;infer --debug
+is equivalent to calling &lsquo;infer --debug
---print-logs&rsquo;.</p>
+--print-logs&lsquo;.</p>
 
 
 <p style="margin-left:11%; margin-top: 1em"><b>INFERCONFIG</b>:

website/static/odoc/next/infer/Absint/HilExp/Access/index.html

@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Access (infer.Absint.HilExp.Access)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../../index.html">infer</a> &#x00BB; <a href="../../index.html">Absint</a> &#x00BB; <a href="../index.html">HilExp</a> &#x00BB; Access</nav><h1>Module <code>HilExp.Access</code></h1></header><dl><dt class="spec type" id="type-t"><a href="#type-t" class="anchor"></a><code><span class="keyword">type</span> <span>'array_index t</span></code><code> = </code><table class="variant"><tr id="type-t.FieldAccess" class="anchored"><td class="def constructor"><a href="#type-t.FieldAccess" class="anchor"></a><code>| </code><code><span class="constructor">FieldAccess</span> <span class="keyword">of</span> <a href="../../../IR/Fieldname/index.html#type-t">IR.Fieldname.t</a></code></td></tr><tr id="type-t.ArrayAccess" class="anchored"><td class="def constructor"><a href="#type-t.ArrayAccess" class="anchor"></a><code>| </code><code><span class="constructor">ArrayAccess</span> <span class="keyword">of</span> <a href="../../../IR/Typ/index.html#type-t">IR.Typ.t</a> * <span class="type-var">'array_index</span></code></td></tr><tr id="type-t.TakeAddress" class="anchored"><td class="def constructor"><a href="#type-t.TakeAddress" class="anchor"></a><code>| </code><code><span class="constructor">TakeAddress</span></code></td></tr><tr id="type-t.Dereference" class="anchored"><td class="def constructor"><a href="#type-t.Dereference" class="anchor"></a><code>| </code><code><span class="constructor">Dereference</span></code></td></tr></table></dt></dl><div><div class="spec include"><div class="doc"><dl><dt class="spec value" id="val-compare"><a href="#val-compare" class="anchor"></a><code><span class="keyword">val</span> compare : <span>(<span class="type-var">'array_index</span> <span>&#45;&gt;</span> <span class="type-var">'array_index</span> <span>&#45;&gt;</span> int)</span> <span>&#45;&gt;</span> <span><span class="type-var">'array_index</span> <a href="index.html#type-t">t</a></span> <span>&#45;&gt;</span> <span><span class="type-var">'array_index</span> <a href="index.html#type-t">t</a></span> <span>&#45;&gt;</span> int</code></dt></dl></div></div></div><dl><dt class="spec value" id="val-pp"><a href="#val-pp" class="anchor"></a><code><span class="keyword">val</span> pp : <span>(Stdlib.Format.formatter <span>&#45;&gt;</span> <span class="type-var">'array_index</span> <span>&#45;&gt;</span> unit)</span> <span>&#45;&gt;</span> Stdlib.Format.formatter <span>&#45;&gt;</span> <span><span class="type-var">'array_index</span> <a href="index.html#type-t">t</a></span> <span>&#45;&gt;</span> unit</code></dt><dt class="spec value" id="val-is_field_or_array_access"><a href="#val-is_field_or_array_access" class="anchor"></a><code><span class="keyword">val</span> is_field_or_array_access : <span><span class="type-var">'a</span> <a href="index.html#type-t">t</a></span> <span>&#45;&gt;</span> bool</code></dt></dl></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Access (infer.Absint.HilExp.Access)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../../index.html">infer</a> &#x00BB; <a href="../../index.html">Absint</a> &#x00BB; <a href="../index.html">HilExp</a> &#x00BB; Access</nav><h1>Module <code>HilExp.Access</code></h1></header><dl><dt class="spec type" id="type-t"><a href="#type-t" class="anchor"></a><code><span class="keyword">type</span> <span>'array_index t</span></code><code> = </code><table class="variant"><tr id="type-t.FieldAccess" class="anchored"><td class="def constructor"><a href="#type-t.FieldAccess" class="anchor"></a><code>| </code><code><span class="constructor">FieldAccess</span> <span class="keyword">of</span> <a href="../../../IR/Fieldname/index.html#type-t">IR.Fieldname.t</a></code></td></tr><tr id="type-t.ArrayAccess" class="anchored"><td class="def constructor"><a href="#type-t.ArrayAccess" class="anchor"></a><code>| </code><code><span class="constructor">ArrayAccess</span> <span class="keyword">of</span> <a href="../../../IR/Typ/index.html#type-t">IR.Typ.t</a> * <span class="type-var">'array_index</span></code></td></tr><tr id="type-t.TakeAddress" class="anchored"><td class="def constructor"><a href="#type-t.TakeAddress" class="anchor"></a><code>| </code><code><span class="constructor">TakeAddress</span></code></td></tr><tr id="type-t.Dereference" class="anchored"><td class="def constructor"><a href="#type-t.Dereference" class="anchor"></a><code>| </code><code><span class="constructor">Dereference</span></code></td></tr></table></dt></dl><div><div class="spec include"><div class="doc"><dl><dt class="spec value" id="val-compare"><a href="#val-compare" class="anchor"></a><code><span class="keyword">val</span> compare : <span>(<span class="type-var">'array_index</span> <span>&#45;&gt;</span> <span class="type-var">'array_index</span> <span>&#45;&gt;</span> int)</span> <span>&#45;&gt;</span> <span><span class="type-var">'array_index</span> <a href="index.html#type-t">t</a></span> <span>&#45;&gt;</span> <span><span class="type-var">'array_index</span> <a href="index.html#type-t">t</a></span> <span>&#45;&gt;</span> int</code></dt><dt class="spec value" id="val-yojson_of_t"><a href="#val-yojson_of_t" class="anchor"></a><code><span class="keyword">val</span> yojson_of_t : <span>(<span class="type-var">'array_index</span> <span>&#45;&gt;</span> Ppx_yojson_conv_lib.Yojson.Safe.t)</span> <span>&#45;&gt;</span> <span><span class="type-var">'array_index</span> <a href="index.html#type-t">t</a></span> <span>&#45;&gt;</span> Ppx_yojson_conv_lib.Yojson.Safe.t</code></dt></dl></div></div></div><dl><dt class="spec value" id="val-pp"><a href="#val-pp" class="anchor"></a><code><span class="keyword">val</span> pp : <span>(Stdlib.Format.formatter <span>&#45;&gt;</span> <span class="type-var">'array_index</span> <span>&#45;&gt;</span> unit)</span> <span>&#45;&gt;</span> Stdlib.Format.formatter <span>&#45;&gt;</span> <span><span class="type-var">'array_index</span> <a href="index.html#type-t">t</a></span> <span>&#45;&gt;</span> unit</code></dt><dt class="spec value" id="val-is_field_or_array_access"><a href="#val-is_field_or_array_access" class="anchor"></a><code><span class="keyword">val</span> is_field_or_array_access : <span><span class="type-var">'a</span> <a href="index.html#type-t">t</a></span> <span>&#45;&gt;</span> bool</code></dt></dl></div></body></html>

website/static/odoc/next/infer/Absint/PatternMatch/ObjectiveC/index.html

@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ObjectiveC (infer.Absint.PatternMatch.ObjectiveC)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../../index.html">infer</a> &#x00BB; <a href="../../index.html">Absint</a> &#x00BB; <a href="../index.html">PatternMatch</a> &#x00BB; ObjectiveC</nav><h1>Module <code>PatternMatch.ObjectiveC</code></h1></header><dl><dt class="spec value" id="val-implements"><a href="#val-implements" class="anchor"></a><code><span class="keyword">val</span> implements : string <span>&#45;&gt;</span> <a href="../../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dd><p>Check whether class implements a given ObjC class</p></dd></dl><dl><dt class="spec value" id="val-is_core_graphics_create_or_copy"><a href="#val-is_core_graphics_create_or_copy" class="anchor"></a><code><span class="keyword">val</span> is_core_graphics_create_or_copy : <a href="../../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-is_core_foundation_create_or_copy"><a href="#val-is_core_foundation_create_or_copy" class="anchor"></a><code><span class="keyword">val</span> is_core_foundation_create_or_copy : <a href="../../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-is_core_graphics_release"><a href="#val-is_core_graphics_release" class="anchor"></a><code><span class="keyword">val</span> is_core_graphics_release : <a href="../../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-is_modelled_as_alloc"><a href="#val-is_modelled_as_alloc" class="anchor"></a><code><span class="keyword">val</span> is_modelled_as_alloc : <a href="../../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-is_modelled_as_release"><a href="#val-is_modelled_as_release" class="anchor"></a><code><span class="keyword">val</span> is_modelled_as_release : <a href="../../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt></dl></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ObjectiveC (infer.Absint.PatternMatch.ObjectiveC)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../../index.html">infer</a> &#x00BB; <a href="../../index.html">Absint</a> &#x00BB; <a href="../index.html">PatternMatch</a> &#x00BB; ObjectiveC</nav><h1>Module <code>PatternMatch.ObjectiveC</code></h1></header><dl><dt class="spec value" id="val-implements"><a href="#val-implements" class="anchor"></a><code><span class="keyword">val</span> implements : string <span>&#45;&gt;</span> <a href="../../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dd><p>Check whether class implements a given ObjC class</p></dd></dl><dl><dt class="spec value" id="val-conforms_to"><a href="#val-conforms_to" class="anchor"></a><code><span class="keyword">val</span> conforms_to : <span>protocol:string</span> <span>&#45;&gt;</span> <a href="../../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dd><p>Check whether class conforms to a given ObjC protocol</p></dd></dl><dl><dt class="spec value" id="val-implements_collection"><a href="#val-implements_collection" class="anchor"></a><code><span class="keyword">val</span> implements_collection : <a href="../../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-is_core_graphics_create_or_copy"><a href="#val-is_core_graphics_create_or_copy" class="anchor"></a><code><span class="keyword">val</span> is_core_graphics_create_or_copy : <a href="../../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-is_core_foundation_create_or_copy"><a href="#val-is_core_foundation_create_or_copy" class="anchor"></a><code><span class="keyword">val</span> is_core_foundation_create_or_copy : <a href="../../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-is_core_graphics_release"><a href="#val-is_core_graphics_release" class="anchor"></a><code><span class="keyword">val</span> is_core_graphics_release : <a href="../../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-is_modelled_as_alloc"><a href="#val-is_modelled_as_alloc" class="anchor"></a><code><span class="keyword">val</span> is_modelled_as_alloc : <a href="../../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-is_modelled_as_release"><a href="#val-is_modelled_as_release" class="anchor"></a><code><span class="keyword">val</span> is_modelled_as_release : <a href="../../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt></dl></div></body></html>

website/static/odoc/next/infer/Absint__HilExp/Access/index.html

@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Access (infer.Absint__HilExp.Access)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">Absint__HilExp</a> &#x00BB; Access</nav><h1>Module <code>Absint__HilExp.Access</code></h1></header><dl><dt class="spec type" id="type-t"><a href="#type-t" class="anchor"></a><code><span class="keyword">type</span> <span>'array_index t</span></code><code> = </code><table class="variant"><tr id="type-t.FieldAccess" class="anchored"><td class="def constructor"><a href="#type-t.FieldAccess" class="anchor"></a><code>| </code><code><span class="constructor">FieldAccess</span> <span class="keyword">of</span> <a href="../../IR/Fieldname/index.html#type-t">IR.Fieldname.t</a></code></td></tr><tr id="type-t.ArrayAccess" class="anchored"><td class="def constructor"><a href="#type-t.ArrayAccess" class="anchor"></a><code>| </code><code><span class="constructor">ArrayAccess</span> <span class="keyword">of</span> <a href="../../IR/Typ/index.html#type-t">IR.Typ.t</a> * <span class="type-var">'array_index</span></code></td></tr><tr id="type-t.TakeAddress" class="anchored"><td class="def constructor"><a href="#type-t.TakeAddress" class="anchor"></a><code>| </code><code><span class="constructor">TakeAddress</span></code></td></tr><tr id="type-t.Dereference" class="anchored"><td class="def constructor"><a href="#type-t.Dereference" class="anchor"></a><code>| </code><code><span class="constructor">Dereference</span></code></td></tr></table></dt></dl><div><div class="spec include"><div class="doc"><dl><dt class="spec value" id="val-compare"><a href="#val-compare" class="anchor"></a><code><span class="keyword">val</span> compare : <span>(<span class="type-var">'array_index</span> <span>&#45;&gt;</span> <span class="type-var">'array_index</span> <span>&#45;&gt;</span> int)</span> <span>&#45;&gt;</span> <span><span class="type-var">'array_index</span> <a href="index.html#type-t">t</a></span> <span>&#45;&gt;</span> <span><span class="type-var">'array_index</span> <a href="index.html#type-t">t</a></span> <span>&#45;&gt;</span> int</code></dt></dl></div></div></div><dl><dt class="spec value" id="val-pp"><a href="#val-pp" class="anchor"></a><code><span class="keyword">val</span> pp : <span>(Stdlib.Format.formatter <span>&#45;&gt;</span> <span class="type-var">'array_index</span> <span>&#45;&gt;</span> unit)</span> <span>&#45;&gt;</span> Stdlib.Format.formatter <span>&#45;&gt;</span> <span><span class="type-var">'array_index</span> <a href="index.html#type-t">t</a></span> <span>&#45;&gt;</span> unit</code></dt><dt class="spec value" id="val-is_field_or_array_access"><a href="#val-is_field_or_array_access" class="anchor"></a><code><span class="keyword">val</span> is_field_or_array_access : <span><span class="type-var">'a</span> <a href="index.html#type-t">t</a></span> <span>&#45;&gt;</span> bool</code></dt></dl></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Access (infer.Absint__HilExp.Access)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">Absint__HilExp</a> &#x00BB; Access</nav><h1>Module <code>Absint__HilExp.Access</code></h1></header><dl><dt class="spec type" id="type-t"><a href="#type-t" class="anchor"></a><code><span class="keyword">type</span> <span>'array_index t</span></code><code> = </code><table class="variant"><tr id="type-t.FieldAccess" class="anchored"><td class="def constructor"><a href="#type-t.FieldAccess" class="anchor"></a><code>| </code><code><span class="constructor">FieldAccess</span> <span class="keyword">of</span> <a href="../../IR/Fieldname/index.html#type-t">IR.Fieldname.t</a></code></td></tr><tr id="type-t.ArrayAccess" class="anchored"><td class="def constructor"><a href="#type-t.ArrayAccess" class="anchor"></a><code>| </code><code><span class="constructor">ArrayAccess</span> <span class="keyword">of</span> <a href="../../IR/Typ/index.html#type-t">IR.Typ.t</a> * <span class="type-var">'array_index</span></code></td></tr><tr id="type-t.TakeAddress" class="anchored"><td class="def constructor"><a href="#type-t.TakeAddress" class="anchor"></a><code>| </code><code><span class="constructor">TakeAddress</span></code></td></tr><tr id="type-t.Dereference" class="anchored"><td class="def constructor"><a href="#type-t.Dereference" class="anchor"></a><code>| </code><code><span class="constructor">Dereference</span></code></td></tr></table></dt></dl><div><div class="spec include"><div class="doc"><dl><dt class="spec value" id="val-compare"><a href="#val-compare" class="anchor"></a><code><span class="keyword">val</span> compare : <span>(<span class="type-var">'array_index</span> <span>&#45;&gt;</span> <span class="type-var">'array_index</span> <span>&#45;&gt;</span> int)</span> <span>&#45;&gt;</span> <span><span class="type-var">'array_index</span> <a href="index.html#type-t">t</a></span> <span>&#45;&gt;</span> <span><span class="type-var">'array_index</span> <a href="index.html#type-t">t</a></span> <span>&#45;&gt;</span> int</code></dt><dt class="spec value" id="val-yojson_of_t"><a href="#val-yojson_of_t" class="anchor"></a><code><span class="keyword">val</span> yojson_of_t : <span>(<span class="type-var">'array_index</span> <span>&#45;&gt;</span> Ppx_yojson_conv_lib.Yojson.Safe.t)</span> <span>&#45;&gt;</span> <span><span class="type-var">'array_index</span> <a href="index.html#type-t">t</a></span> <span>&#45;&gt;</span> Ppx_yojson_conv_lib.Yojson.Safe.t</code></dt></dl></div></div></div><dl><dt class="spec value" id="val-pp"><a href="#val-pp" class="anchor"></a><code><span class="keyword">val</span> pp : <span>(Stdlib.Format.formatter <span>&#45;&gt;</span> <span class="type-var">'array_index</span> <span>&#45;&gt;</span> unit)</span> <span>&#45;&gt;</span> Stdlib.Format.formatter <span>&#45;&gt;</span> <span><span class="type-var">'array_index</span> <a href="index.html#type-t">t</a></span> <span>&#45;&gt;</span> unit</code></dt><dt class="spec value" id="val-is_field_or_array_access"><a href="#val-is_field_or_array_access" class="anchor"></a><code><span class="keyword">val</span> is_field_or_array_access : <span><span class="type-var">'a</span> <a href="index.html#type-t">t</a></span> <span>&#45;&gt;</span> bool</code></dt></dl></div></body></html>

website/static/odoc/next/infer/Absint__PatternMatch/ObjectiveC/index.html

@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ObjectiveC (infer.Absint__PatternMatch.ObjectiveC)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">Absint__PatternMatch</a> &#x00BB; ObjectiveC</nav><h1>Module <code>Absint__PatternMatch.ObjectiveC</code></h1></header><dl><dt class="spec value" id="val-implements"><a href="#val-implements" class="anchor"></a><code><span class="keyword">val</span> implements : string <span>&#45;&gt;</span> <a href="../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dd><p>Check whether class implements a given ObjC class</p></dd></dl><dl><dt class="spec value" id="val-is_core_graphics_create_or_copy"><a href="#val-is_core_graphics_create_or_copy" class="anchor"></a><code><span class="keyword">val</span> is_core_graphics_create_or_copy : <a href="../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-is_core_foundation_create_or_copy"><a href="#val-is_core_foundation_create_or_copy" class="anchor"></a><code><span class="keyword">val</span> is_core_foundation_create_or_copy : <a href="../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-is_core_graphics_release"><a href="#val-is_core_graphics_release" class="anchor"></a><code><span class="keyword">val</span> is_core_graphics_release : <a href="../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-is_modelled_as_alloc"><a href="#val-is_modelled_as_alloc" class="anchor"></a><code><span class="keyword">val</span> is_modelled_as_alloc : <a href="../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-is_modelled_as_release"><a href="#val-is_modelled_as_release" class="anchor"></a><code><span class="keyword">val</span> is_modelled_as_release : <a href="../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt></dl></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ObjectiveC (infer.Absint__PatternMatch.ObjectiveC)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">Absint__PatternMatch</a> &#x00BB; ObjectiveC</nav><h1>Module <code>Absint__PatternMatch.ObjectiveC</code></h1></header><dl><dt class="spec value" id="val-implements"><a href="#val-implements" class="anchor"></a><code><span class="keyword">val</span> implements : string <span>&#45;&gt;</span> <a href="../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dd><p>Check whether class implements a given ObjC class</p></dd></dl><dl><dt class="spec value" id="val-conforms_to"><a href="#val-conforms_to" class="anchor"></a><code><span class="keyword">val</span> conforms_to : <span>protocol:string</span> <span>&#45;&gt;</span> <a href="../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dd><p>Check whether class conforms to a given ObjC protocol</p></dd></dl><dl><dt class="spec value" id="val-implements_collection"><a href="#val-implements_collection" class="anchor"></a><code><span class="keyword">val</span> implements_collection : <a href="../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-is_core_graphics_create_or_copy"><a href="#val-is_core_graphics_create_or_copy" class="anchor"></a><code><span class="keyword">val</span> is_core_graphics_create_or_copy : <a href="../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-is_core_foundation_create_or_copy"><a href="#val-is_core_foundation_create_or_copy" class="anchor"></a><code><span class="keyword">val</span> is_core_foundation_create_or_copy : <a href="../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-is_core_graphics_release"><a href="#val-is_core_graphics_release" class="anchor"></a><code><span class="keyword">val</span> is_core_graphics_release : <a href="../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-is_modelled_as_alloc"><a href="#val-is_modelled_as_alloc" class="anchor"></a><code><span class="keyword">val</span> is_modelled_as_alloc : <a href="../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-is_modelled_as_release"><a href="#val-is_modelled_as_release" class="anchor"></a><code><span class="keyword">val</span> is_modelled_as_release : <a href="../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> bool</code></dt></dl></div></body></html>

website/static/odoc/next/infer/ClangFrontend/CTrans_utils/Self/index.html

@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Self (infer.ClangFrontend.CTrans_utils.Self)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../../index.html">infer</a> &#x00BB; <a href="../../index.html">ClangFrontend</a> &#x00BB; <a href="../index.html">CTrans_utils</a> &#x00BB; Self</nav><h1>Module <code>CTrans_utils.Self</code></h1><p>This module handles the translation of the variable self which is challenging because self is used both as a variable in instance method calls and also as a type in class method calls.</p></header><dl><dt class="spec exception" id="exception-SelfClassException"><a href="#exception-SelfClassException" class="anchor"></a><code><span class="keyword">exception</span> </code><code><span class="exception">SelfClassException</span> <span class="keyword">of</span> </code><code>{</code><table class="record"><tr id=".class_name" class="anchored"><td class="def field"><a href="#.class_name" class="anchor"></a><code>class_name : <a href="../../../IR/Typ/Name/index.html#type-t">IR.Typ.Name.t</a>;</code></td></tr><tr id=".position" class="anchored"><td class="def field"><a href="#.position" class="anchor"></a><code>position : <a href="../../../IBase/Logging/index.html#type-ocaml_pos">IBase.Logging.ocaml_pos</a>;</code></td></tr><tr id=".source_range" class="anchored"><td class="def field"><a href="#.source_range" class="anchor"></a><code>source_range : <a href="../../../ATDGenerated/Clang_ast_t/index.html#type-source_range">ATDGenerated.Clang_ast_t.source_range</a>;</code></td></tr></table><code>}</code></dt></dl><dl><dt class="spec value" id="val-add_self_parameter_for_super_instance"><a href="#val-add_self_parameter_for_super_instance" class="anchor"></a><code><span class="keyword">val</span> add_self_parameter_for_super_instance : <a href="../../../ATDGenerated/Clang_ast_t/index.html#type-stmt_info">ATDGenerated.Clang_ast_t.stmt_info</a> <span>&#45;&gt;</span> <a href="../../CContext/index.html#type-t">CContext.t</a> <span>&#45;&gt;</span> <a href="../../../IR/Procname/index.html#type-t">IR.Procname.t</a> <span>&#45;&gt;</span> <a href="../../../IBase/Location/index.html#type-t">IBase.Location.t</a> <span>&#45;&gt;</span> <a href="../../../ATDGenerated/Clang_ast_t/index.html#type-obj_c_message_expr_info">ATDGenerated.Clang_ast_t.obj_c_message_expr_info</a> <span>&#45;&gt;</span> <span><a href="../index.html#type-trans_result">trans_result</a> option</span></code></dt><dt class="spec value" id="val-is_var_self"><a href="#val-is_var_self" class="anchor"></a><code><span class="keyword">val</span> is_var_self : <a href="../../../IR/Pvar/index.html#type-t">IR.Pvar.t</a> <span>&#45;&gt;</span> bool <span>&#45;&gt;</span> bool</code></dt></dl></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Self (infer.ClangFrontend.CTrans_utils.Self)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../../index.html">infer</a> &#x00BB; <a href="../../index.html">ClangFrontend</a> &#x00BB; <a href="../index.html">CTrans_utils</a> &#x00BB; Self</nav><h1>Module <code>CTrans_utils.Self</code></h1><p>This module handles the translation of the variable self which is challenging because self is used both as a variable in instance method calls and also as a type in class method calls.</p></header><dl><dt class="spec value" id="val-add_self_parameter_for_super_instance"><a href="#val-add_self_parameter_for_super_instance" class="anchor"></a><code><span class="keyword">val</span> add_self_parameter_for_super_instance : <a href="../../../ATDGenerated/Clang_ast_t/index.html#type-stmt_info">ATDGenerated.Clang_ast_t.stmt_info</a> <span>&#45;&gt;</span> <a href="../../CContext/index.html#type-t">CContext.t</a> <span>&#45;&gt;</span> <a href="../../../IR/Procname/index.html#type-t">IR.Procname.t</a> <span>&#45;&gt;</span> <a href="../../../IBase/Location/index.html#type-t">IBase.Location.t</a> <span>&#45;&gt;</span> <a href="../../../ATDGenerated/Clang_ast_t/index.html#type-obj_c_message_expr_info">ATDGenerated.Clang_ast_t.obj_c_message_expr_info</a> <span>&#45;&gt;</span> <span><a href="../index.html#type-trans_result">trans_result</a> option</span></code></dt><dt class="spec value" id="val-is_var_self"><a href="#val-is_var_self" class="anchor"></a><code><span class="keyword">val</span> is_var_self : <a href="../../../IR/Pvar/index.html#type-t">IR.Pvar.t</a> <span>&#45;&gt;</span> bool <span>&#45;&gt;</span> bool</code></dt></dl></div></body></html>

website/static/odoc/next/infer/ClangFrontend/CType/index.html

@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>CType (infer.ClangFrontend.CType)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">ClangFrontend</a> &#x00BB; CType</nav><h1>Module <code>ClangFrontend.CType</code></h1></header><aside><p>Utility module for retrieving types</p></aside><dl><dt class="spec value" id="val-add_pointer_to_typ"><a href="#val-add_pointer_to_typ" class="anchor"></a><code><span class="keyword">val</span> add_pointer_to_typ : <a href="../../IR/Typ/index.html#type-t">IR.Typ.t</a> <span>&#45;&gt;</span> <a href="../../IR/Typ/index.html#type-t">IR.Typ.t</a></code></dt><dt class="spec value" id="val-objc_classname_of_type"><a href="#val-objc_classname_of_type" class="anchor"></a><code><span class="keyword">val</span> objc_classname_of_type : <a href="../../IR/Typ/index.html#type-t">IR.Typ.t</a> <span>&#45;&gt;</span> <a href="../../IR/Typ/Name/index.html#type-t">IR.Typ.Name.t</a></code></dt><dt class="spec value" id="val-is_class"><a href="#val-is_class" class="anchor"></a><code><span class="keyword">val</span> is_class : <a href="../../IR/Typ/index.html#type-t">IR.Typ.t</a> <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-return_type_of_function_type"><a href="#val-return_type_of_function_type" class="anchor"></a><code><span class="keyword">val</span> return_type_of_function_type : <a href="../../ATDGenerated/Clang_ast_t/index.html#type-qual_type">ATDGenerated.Clang_ast_t.qual_type</a> <span>&#45;&gt;</span> <a href="../../ATDGenerated/Clang_ast_t/index.html#type-qual_type">ATDGenerated.Clang_ast_t.qual_type</a></code></dt><dt class="spec value" id="val-is_block_type"><a href="#val-is_block_type" class="anchor"></a><code><span class="keyword">val</span> is_block_type : <a href="../../ATDGenerated/Clang_ast_t/index.html#type-qual_type">ATDGenerated.Clang_ast_t.qual_type</a> <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-is_reference_type"><a href="#val-is_reference_type" class="anchor"></a><code><span class="keyword">val</span> is_reference_type : <a href="../../ATDGenerated/Clang_ast_t/index.html#type-qual_type">ATDGenerated.Clang_ast_t.qual_type</a> <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-is_pointer_to_const"><a href="#val-is_pointer_to_const" class="anchor"></a><code><span class="keyword">val</span> is_pointer_to_const : <a href="../../ATDGenerated/Clang_ast_t/index.html#type-qual_type">ATDGenerated.Clang_ast_t.qual_type</a> <span>&#45;&gt;</span> bool</code></dt></dl></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>CType (infer.ClangFrontend.CType)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">ClangFrontend</a> &#x00BB; CType</nav><h1>Module <code>ClangFrontend.CType</code></h1></header><aside><p>Utility module for retrieving types</p></aside><dl><dt class="spec value" id="val-add_pointer_to_typ"><a href="#val-add_pointer_to_typ" class="anchor"></a><code><span class="keyword">val</span> add_pointer_to_typ : <a href="../../IR/Typ/index.html#type-t">IR.Typ.t</a> <span>&#45;&gt;</span> <a href="../../IR/Typ/index.html#type-t">IR.Typ.t</a></code></dt><dt class="spec value" id="val-objc_classname_of_type"><a href="#val-objc_classname_of_type" class="anchor"></a><code><span class="keyword">val</span> objc_classname_of_type : <a href="../../IR/Typ/index.html#type-t">IR.Typ.t</a> <span>&#45;&gt;</span> <a href="../../IR/Typ/Name/index.html#type-t">IR.Typ.Name.t</a></code></dt><dt class="spec value" id="val-objc_classname_of_desc"><a href="#val-objc_classname_of_desc" class="anchor"></a><code><span class="keyword">val</span> objc_classname_of_desc : <a href="../../IR/Typ/index.html#type-desc">IR.Typ.desc</a> <span>&#45;&gt;</span> <a href="../../IR/Typ/Name/index.html#type-t">IR.Typ.Name.t</a></code></dt><dt class="spec value" id="val-is_class"><a href="#val-is_class" class="anchor"></a><code><span class="keyword">val</span> is_class : <a href="../../IR/Typ/index.html#type-t">IR.Typ.t</a> <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-return_type_of_function_type"><a href="#val-return_type_of_function_type" class="anchor"></a><code><span class="keyword">val</span> return_type_of_function_type : <a href="../../ATDGenerated/Clang_ast_t/index.html#type-qual_type">ATDGenerated.Clang_ast_t.qual_type</a> <span>&#45;&gt;</span> <a href="../../ATDGenerated/Clang_ast_t/index.html#type-qual_type">ATDGenerated.Clang_ast_t.qual_type</a></code></dt><dt class="spec value" id="val-is_block_type"><a href="#val-is_block_type" class="anchor"></a><code><span class="keyword">val</span> is_block_type : <a href="../../ATDGenerated/Clang_ast_t/index.html#type-qual_type">ATDGenerated.Clang_ast_t.qual_type</a> <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-is_reference_type"><a href="#val-is_reference_type" class="anchor"></a><code><span class="keyword">val</span> is_reference_type : <a href="../../ATDGenerated/Clang_ast_t/index.html#type-qual_type">ATDGenerated.Clang_ast_t.qual_type</a> <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-is_pointer_to_const"><a href="#val-is_pointer_to_const" class="anchor"></a><code><span class="keyword">val</span> is_pointer_to_const : <a href="../../ATDGenerated/Clang_ast_t/index.html#type-qual_type">ATDGenerated.Clang_ast_t.qual_type</a> <span>&#45;&gt;</span> bool</code></dt></dl></div></body></html>

website/static/odoc/next/infer/ClangFrontend__CTrans_utils/Self/index.html

@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Self (infer.ClangFrontend__CTrans_utils.Self)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">ClangFrontend__CTrans_utils</a> &#x00BB; Self</nav><h1>Module <code>ClangFrontend__CTrans_utils.Self</code></h1><p>This module handles the translation of the variable self which is challenging because self is used both as a variable in instance method calls and also as a type in class method calls.</p></header><dl><dt class="spec exception" id="exception-SelfClassException"><a href="#exception-SelfClassException" class="anchor"></a><code><span class="keyword">exception</span> </code><code><span class="exception">SelfClassException</span> <span class="keyword">of</span> </code><code>{</code><table class="record"><tr id=".class_name" class="anchored"><td class="def field"><a href="#.class_name" class="anchor"></a><code>class_name : <a href="../../IR/Typ/Name/index.html#type-t">IR.Typ.Name.t</a>;</code></td></tr><tr id=".position" class="anchored"><td class="def field"><a href="#.position" class="anchor"></a><code>position : <a href="../../IBase/Logging/index.html#type-ocaml_pos">IBase.Logging.ocaml_pos</a>;</code></td></tr><tr id=".source_range" class="anchored"><td class="def field"><a href="#.source_range" class="anchor"></a><code>source_range : <a href="../../ATDGenerated/Clang_ast_t/index.html#type-source_range">ATDGenerated.Clang_ast_t.source_range</a>;</code></td></tr></table><code>}</code></dt></dl><dl><dt class="spec value" id="val-add_self_parameter_for_super_instance"><a href="#val-add_self_parameter_for_super_instance" class="anchor"></a><code><span class="keyword">val</span> add_self_parameter_for_super_instance : <a href="../../ATDGenerated/Clang_ast_t/index.html#type-stmt_info">ATDGenerated.Clang_ast_t.stmt_info</a> <span>&#45;&gt;</span> <a href="../../ClangFrontend/CContext/index.html#type-t">ClangFrontend.CContext.t</a> <span>&#45;&gt;</span> <a href="../../IR/Procname/index.html#type-t">IR.Procname.t</a> <span>&#45;&gt;</span> <a href="../../IBase/Location/index.html#type-t">IBase.Location.t</a> <span>&#45;&gt;</span> <a href="../../ATDGenerated/Clang_ast_t/index.html#type-obj_c_message_expr_info">ATDGenerated.Clang_ast_t.obj_c_message_expr_info</a> <span>&#45;&gt;</span> <span><a href="../index.html#type-trans_result">trans_result</a> option</span></code></dt><dt class="spec value" id="val-is_var_self"><a href="#val-is_var_self" class="anchor"></a><code><span class="keyword">val</span> is_var_self : <a href="../../IR/Pvar/index.html#type-t">IR.Pvar.t</a> <span>&#45;&gt;</span> bool <span>&#45;&gt;</span> bool</code></dt></dl></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Self (infer.ClangFrontend__CTrans_utils.Self)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">ClangFrontend__CTrans_utils</a> &#x00BB; Self</nav><h1>Module <code>ClangFrontend__CTrans_utils.Self</code></h1><p>This module handles the translation of the variable self which is challenging because self is used both as a variable in instance method calls and also as a type in class method calls.</p></header><dl><dt class="spec value" id="val-add_self_parameter_for_super_instance"><a href="#val-add_self_parameter_for_super_instance" class="anchor"></a><code><span class="keyword">val</span> add_self_parameter_for_super_instance : <a href="../../ATDGenerated/Clang_ast_t/index.html#type-stmt_info">ATDGenerated.Clang_ast_t.stmt_info</a> <span>&#45;&gt;</span> <a href="../../ClangFrontend/CContext/index.html#type-t">ClangFrontend.CContext.t</a> <span>&#45;&gt;</span> <a href="../../IR/Procname/index.html#type-t">IR.Procname.t</a> <span>&#45;&gt;</span> <a href="../../IBase/Location/index.html#type-t">IBase.Location.t</a> <span>&#45;&gt;</span> <a href="../../ATDGenerated/Clang_ast_t/index.html#type-obj_c_message_expr_info">ATDGenerated.Clang_ast_t.obj_c_message_expr_info</a> <span>&#45;&gt;</span> <span><a href="../index.html#type-trans_result">trans_result</a> option</span></code></dt><dt class="spec value" id="val-is_var_self"><a href="#val-is_var_self" class="anchor"></a><code><span class="keyword">val</span> is_var_self : <a href="../../IR/Pvar/index.html#type-t">IR.Pvar.t</a> <span>&#45;&gt;</span> bool <span>&#45;&gt;</span> bool</code></dt></dl></div></body></html>

website/static/odoc/next/infer/ClangFrontend__CType/index.html

@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ClangFrontend__CType (infer.ClangFrontend__CType)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../index.html">infer</a> &#x00BB; ClangFrontend__CType</nav><h1>Module <code>ClangFrontend__CType</code></h1></header><aside><p>Utility module for retrieving types</p></aside><dl><dt class="spec value" id="val-add_pointer_to_typ"><a href="#val-add_pointer_to_typ" class="anchor"></a><code><span class="keyword">val</span> add_pointer_to_typ : <a href="../IR/Typ/index.html#type-t">IR.Typ.t</a> <span>&#45;&gt;</span> <a href="../IR/Typ/index.html#type-t">IR.Typ.t</a></code></dt><dt class="spec value" id="val-objc_classname_of_type"><a href="#val-objc_classname_of_type" class="anchor"></a><code><span class="keyword">val</span> objc_classname_of_type : <a href="../IR/Typ/index.html#type-t">IR.Typ.t</a> <span>&#45;&gt;</span> <a href="../IR/Typ/Name/index.html#type-t">IR.Typ.Name.t</a></code></dt><dt class="spec value" id="val-is_class"><a href="#val-is_class" class="anchor"></a><code><span class="keyword">val</span> is_class : <a href="../IR/Typ/index.html#type-t">IR.Typ.t</a> <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-return_type_of_function_type"><a href="#val-return_type_of_function_type" class="anchor"></a><code><span class="keyword">val</span> return_type_of_function_type : <a href="../ATDGenerated/Clang_ast_t/index.html#type-qual_type">ATDGenerated.Clang_ast_t.qual_type</a> <span>&#45;&gt;</span> <a href="../ATDGenerated/Clang_ast_t/index.html#type-qual_type">ATDGenerated.Clang_ast_t.qual_type</a></code></dt><dt class="spec value" id="val-is_block_type"><a href="#val-is_block_type" class="anchor"></a><code><span class="keyword">val</span> is_block_type : <a href="../ATDGenerated/Clang_ast_t/index.html#type-qual_type">ATDGenerated.Clang_ast_t.qual_type</a> <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-is_reference_type"><a href="#val-is_reference_type" class="anchor"></a><code><span class="keyword">val</span> is_reference_type : <a href="../ATDGenerated/Clang_ast_t/index.html#type-qual_type">ATDGenerated.Clang_ast_t.qual_type</a> <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-is_pointer_to_const"><a href="#val-is_pointer_to_const" class="anchor"></a><code><span class="keyword">val</span> is_pointer_to_const : <a href="../ATDGenerated/Clang_ast_t/index.html#type-qual_type">ATDGenerated.Clang_ast_t.qual_type</a> <span>&#45;&gt;</span> bool</code></dt></dl></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ClangFrontend__CType (infer.ClangFrontend__CType)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../index.html">infer</a> &#x00BB; ClangFrontend__CType</nav><h1>Module <code>ClangFrontend__CType</code></h1></header><aside><p>Utility module for retrieving types</p></aside><dl><dt class="spec value" id="val-add_pointer_to_typ"><a href="#val-add_pointer_to_typ" class="anchor"></a><code><span class="keyword">val</span> add_pointer_to_typ : <a href="../IR/Typ/index.html#type-t">IR.Typ.t</a> <span>&#45;&gt;</span> <a href="../IR/Typ/index.html#type-t">IR.Typ.t</a></code></dt><dt class="spec value" id="val-objc_classname_of_type"><a href="#val-objc_classname_of_type" class="anchor"></a><code><span class="keyword">val</span> objc_classname_of_type : <a href="../IR/Typ/index.html#type-t">IR.Typ.t</a> <span>&#45;&gt;</span> <a href="../IR/Typ/Name/index.html#type-t">IR.Typ.Name.t</a></code></dt><dt class="spec value" id="val-objc_classname_of_desc"><a href="#val-objc_classname_of_desc" class="anchor"></a><code><span class="keyword">val</span> objc_classname_of_desc : <a href="../IR/Typ/index.html#type-desc">IR.Typ.desc</a> <span>&#45;&gt;</span> <a href="../IR/Typ/Name/index.html#type-t">IR.Typ.Name.t</a></code></dt><dt class="spec value" id="val-is_class"><a href="#val-is_class" class="anchor"></a><code><span class="keyword">val</span> is_class : <a href="../IR/Typ/index.html#type-t">IR.Typ.t</a> <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-return_type_of_function_type"><a href="#val-return_type_of_function_type" class="anchor"></a><code><span class="keyword">val</span> return_type_of_function_type : <a href="../ATDGenerated/Clang_ast_t/index.html#type-qual_type">ATDGenerated.Clang_ast_t.qual_type</a> <span>&#45;&gt;</span> <a href="../ATDGenerated/Clang_ast_t/index.html#type-qual_type">ATDGenerated.Clang_ast_t.qual_type</a></code></dt><dt class="spec value" id="val-is_block_type"><a href="#val-is_block_type" class="anchor"></a><code><span class="keyword">val</span> is_block_type : <a href="../ATDGenerated/Clang_ast_t/index.html#type-qual_type">ATDGenerated.Clang_ast_t.qual_type</a> <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-is_reference_type"><a href="#val-is_reference_type" class="anchor"></a><code><span class="keyword">val</span> is_reference_type : <a href="../ATDGenerated/Clang_ast_t/index.html#type-qual_type">ATDGenerated.Clang_ast_t.qual_type</a> <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-is_pointer_to_const"><a href="#val-is_pointer_to_const" class="anchor"></a><code><span class="keyword">val</span> is_pointer_to_const : <a href="../ATDGenerated/Clang_ast_t/index.html#type-qual_type">ATDGenerated.Clang_ast_t.qual_type</a> <span>&#45;&gt;</span> bool</code></dt></dl></div></body></html>

website/static/odoc/next/infer/Concurrency/StarvationDomain/CriticalPairElement/index.html

@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>CriticalPairElement (infer.Concurrency.StarvationDomain.CriticalPairElement)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../../index.html">infer</a> &#x00BB; <a href="../../index.html">Concurrency</a> &#x00BB; <a href="../index.html">StarvationDomain</a> &#x00BB; CriticalPairElement</nav><h1>Module <code>StarvationDomain.CriticalPairElement</code></h1><p>An event and the currently-held locks at the time it occurred.</p></header><dl><dt class="spec type" id="type-t"><a href="#type-t" class="anchor"></a><code><span class="keyword">type</span> t</code><code> = <span class="keyword">private</span> </code><code>{</code><table class="record"><tr id="type-t.acquisitions" class="anchored"><td class="def field"><a href="#type-t.acquisitions" class="anchor"></a><code>acquisitions : <a href="../index.html#module-Acquisitions">Acquisitions</a>.t;</code></td></tr><tr id="type-t.event" class="anchored"><td class="def field"><a href="#type-t.event" class="anchor"></a><code>event : <a href="../Event/index.html#type-t">Event.t</a>;</code></td></tr><tr id="type-t.thread" class="anchored"><td class="def field"><a href="#type-t.thread" class="anchor"></a><code>thread : <a href="../ThreadDomain/index.html#type-t">ThreadDomain.t</a>;</code></td></tr></table><code>}</code></dt></dl></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>CriticalPairElement (infer.Concurrency.StarvationDomain.CriticalPairElement)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../../index.html">infer</a> &#x00BB; <a href="../../index.html">Concurrency</a> &#x00BB; <a href="../index.html">StarvationDomain</a> &#x00BB; CriticalPairElement</nav><h1>Module <code>StarvationDomain.CriticalPairElement</code></h1><p>An event and the currently-held locks at the time it occurred.</p></header><dl><dt class="spec type" id="type-t"><a href="#type-t" class="anchor"></a><code><span class="keyword">type</span> t</code><code> = <span class="keyword">private</span> </code><code>{</code><table class="record"><tr id="type-t.acquisitions" class="anchored"><td class="def field"><a href="#type-t.acquisitions" class="anchor"></a><code>acquisitions : <a href="../index.html#module-Acquisitions">Acquisitions</a>.t;</code></td></tr><tr id="type-t.event" class="anchored"><td class="def field"><a href="#type-t.event" class="anchor"></a><code>event : <a href="../Event/index.html#type-t">Event.t</a>;</code></td></tr></table><code>}</code></dt></dl></div></body></html>

website/static/odoc/next/infer/Concurrency/StarvationDomain/Event/index.html

@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Event (infer.Concurrency.StarvationDomain.Event)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../../index.html">infer</a> &#x00BB; <a href="../../index.html">Concurrency</a> &#x00BB; <a href="../index.html">StarvationDomain</a> &#x00BB; Event</nav><h1>Module <code>StarvationDomain.Event</code></h1></header><dl><dt class="spec type" id="type-t"><a href="#type-t" class="anchor"></a><code><span class="keyword">type</span> t</code><code> = </code><table class="variant"><tr id="type-t.LockAcquire" class="anchored"><td class="def constructor"><a href="#type-t.LockAcquire" class="anchor"></a><code>| </code><code><span class="constructor">LockAcquire</span> <span class="keyword">of</span> </code><code>{</code><table class="record"><tr id="type-t.locks" class="anchored"><td class="def field"><a href="#type-t.locks" class="anchor"></a><code>locks : <span><a href="../index.html#module-Lock">Lock</a>.t list</span>;</code></td></tr></table><code>}</code></td></tr><tr id="type-t.MayBlock" class="anchored"><td class="def constructor"><a href="#type-t.MayBlock" class="anchor"></a><code>| </code><code><span class="constructor">MayBlock</span> <span class="keyword">of</span> </code><code>{</code><table class="record"><tr id="type-t.callee" class="anchored"><td class="def field"><a href="#type-t.callee" class="anchor"></a><code>callee : <a href="../../../IR/Procname/index.html#type-t">IR.Procname.t</a>;</code></td></tr><tr id="type-t.severity" class="anchored"><td class="def field"><a href="#type-t.severity" class="anchor"></a><code>severity : <a href="../../StarvationModels/index.html#type-severity">StarvationModels.severity</a>;</code></td></tr></table><code>}</code></td></tr><tr id="type-t.StrictModeCall" class="anchored"><td class="def constructor"><a href="#type-t.StrictModeCall" class="anchor"></a><code>| </code><code><span class="constructor">StrictModeCall</span> <span class="keyword">of</span> </code><code>{</code><table class="record"><tr id="type-t.callee" class="anchored"><td class="def field"><a href="#type-t.callee" class="anchor"></a><code>callee : <a href="../../../IR/Procname/index.html#type-t">IR.Procname.t</a>;</code></td></tr></table><code>}</code></td></tr><tr id="type-t.MonitorWait" class="anchored"><td class="def constructor"><a href="#type-t.MonitorWait" class="anchor"></a><code>| </code><code><span class="constructor">MonitorWait</span> <span class="keyword">of</span> </code><code>{</code><table class="record"><tr id="type-t.lock" class="anchored"><td class="def field"><a href="#type-t.lock" class="anchor"></a><code>lock : <a href="../index.html#module-Lock">Lock</a>.t;</code></td></tr></table><code>}</code></td></tr></table></dt></dl><div><div class="spec include"><div class="doc"><dl><dt class="spec value" id="val-compare"><a href="#val-compare" class="anchor"></a><code><span class="keyword">val</span> compare : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> int</code></dt></dl></div></div></div><dl><dt class="spec value" id="val-describe"><a href="#val-describe" class="anchor"></a><code><span class="keyword">val</span> describe : <a href="../index.html#module-F">F</a>.formatter <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> unit</code></dt></dl></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Event (infer.Concurrency.StarvationDomain.Event)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../../index.html">infer</a> &#x00BB; <a href="../../index.html">Concurrency</a> &#x00BB; <a href="../index.html">StarvationDomain</a> &#x00BB; Event</nav><h1>Module <code>StarvationDomain.Event</code></h1></header><dl><dt class="spec type" id="type-t"><a href="#type-t" class="anchor"></a><code><span class="keyword">type</span> t</code><code> = </code><table class="variant"><tr id="type-t.LockAcquire" class="anchored"><td class="def constructor"><a href="#type-t.LockAcquire" class="anchor"></a><code>| </code><code><span class="constructor">LockAcquire</span> <span class="keyword">of</span> </code><code>{</code><table class="record"><tr id="type-t.locks" class="anchored"><td class="def field"><a href="#type-t.locks" class="anchor"></a><code>locks : <span><a href="../index.html#module-Lock">Lock</a>.t list</span>;</code></td></tr><tr id="type-t.thread" class="anchored"><td class="def field"><a href="#type-t.thread" class="anchor"></a><code>thread : <a href="../ThreadDomain/index.html#type-t">ThreadDomain.t</a>;</code></td></tr></table><code>}</code></td></tr><tr id="type-t.MayBlock" class="anchored"><td class="def constructor"><a href="#type-t.MayBlock" class="anchor"></a><code>| </code><code><span class="constructor">MayBlock</span> <span class="keyword">of</span> </code><code>{</code><table class="record"><tr id="type-t.callee" class="anchored"><td class="def field"><a href="#type-t.callee" class="anchor"></a><code>callee : <a href="../../../IR/Procname/index.html#type-t">IR.Procname.t</a>;</code></td></tr><tr id="type-t.severity" class="anchored"><td class="def field"><a href="#type-t.severity" class="anchor"></a><code>severity : <a href="../../StarvationModels/index.html#type-severity">StarvationModels.severity</a>;</code></td></tr><tr id="type-t.thread" class="anchored"><td class="def field"><a href="#type-t.thread" class="anchor"></a><code>thread : <a href="../ThreadDomain/index.html#type-t">ThreadDomain.t</a>;</code></td></tr></table><code>}</code></td></tr><tr id="type-t.StrictModeCall" class="anchored"><td class="def constructor"><a href="#type-t.StrictModeCall" class="anchor"></a><code>| </code><code><span class="constructor">StrictModeCall</span> <span class="keyword">of</span> </code><code>{</code><table class="record"><tr id="type-t.callee" class="anchored"><td class="def field"><a href="#type-t.callee" class="anchor"></a><code>callee : <a href="../../../IR/Procname/index.html#type-t">IR.Procname.t</a>;</code></td></tr><tr id="type-t.thread" class="anchored"><td class="def field"><a href="#type-t.thread" class="anchor"></a><code>thread : <a href="../ThreadDomain/index.html#type-t">ThreadDomain.t</a>;</code></td></tr></table><code>}</code></td></tr><tr id="type-t.MonitorWait" class="anchored"><td class="def constructor"><a href="#type-t.MonitorWait" class="anchor"></a><code>| </code><code><span class="constructor">MonitorWait</span> <span class="keyword">of</span> </code><code>{</code><table class="record"><tr id="type-t.lock" class="anchored"><td class="def field"><a href="#type-t.lock" class="anchor"></a><code>lock : <a href="../index.html#module-Lock">Lock</a>.t;</code></td></tr><tr id="type-t.thread" class="anchored"><td class="def field"><a href="#type-t.thread" class="anchor"></a><code>thread : <a href="../ThreadDomain/index.html#type-t">ThreadDomain.t</a>;</code></td></tr></table><code>}</code></td></tr></table></dt></dl><div><div class="spec include"><div class="doc"><dl><dt class="spec value" id="val-compare"><a href="#val-compare" class="anchor"></a><code><span class="keyword">val</span> compare : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> int</code></dt></dl></div></div></div><dl><dt class="spec value" id="val-describe"><a href="#val-describe" class="anchor"></a><code><span class="keyword">val</span> describe : <a href="../index.html#module-F">F</a>.formatter <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> unit</code></dt><dt class="spec value" id="val-get_acquired_locks"><a href="#val-get_acquired_locks" class="anchor"></a><code><span class="keyword">val</span> get_acquired_locks : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <span><a href="../index.html#module-Lock">Lock</a>.t list</span></code></dt></dl></div></body></html>

website/static/odoc/next/infer/Concurrency__StarvationDomain/CriticalPairElement/index.html

@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>CriticalPairElement (infer.Concurrency__StarvationDomain.CriticalPairElement)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">Concurrency__StarvationDomain</a> &#x00BB; CriticalPairElement</nav><h1>Module <code>Concurrency__StarvationDomain.CriticalPairElement</code></h1><p>An event and the currently-held locks at the time it occurred.</p></header><dl><dt class="spec type" id="type-t"><a href="#type-t" class="anchor"></a><code><span class="keyword">type</span> t</code><code> = <span class="keyword">private</span> </code><code>{</code><table class="record"><tr id="type-t.acquisitions" class="anchored"><td class="def field"><a href="#type-t.acquisitions" class="anchor"></a><code>acquisitions : <a href="../index.html#module-Acquisitions">Acquisitions</a>.t;</code></td></tr><tr id="type-t.event" class="anchored"><td class="def field"><a href="#type-t.event" class="anchor"></a><code>event : <a href="../Event/index.html#type-t">Event.t</a>;</code></td></tr><tr id="type-t.thread" class="anchored"><td class="def field"><a href="#type-t.thread" class="anchor"></a><code>thread : <a href="../ThreadDomain/index.html#type-t">ThreadDomain.t</a>;</code></td></tr></table><code>}</code></dt></dl></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>CriticalPairElement (infer.Concurrency__StarvationDomain.CriticalPairElement)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">Concurrency__StarvationDomain</a> &#x00BB; CriticalPairElement</nav><h1>Module <code>Concurrency__StarvationDomain.CriticalPairElement</code></h1><p>An event and the currently-held locks at the time it occurred.</p></header><dl><dt class="spec type" id="type-t"><a href="#type-t" class="anchor"></a><code><span class="keyword">type</span> t</code><code> = <span class="keyword">private</span> </code><code>{</code><table class="record"><tr id="type-t.acquisitions" class="anchored"><td class="def field"><a href="#type-t.acquisitions" class="anchor"></a><code>acquisitions : <a href="../index.html#module-Acquisitions">Acquisitions</a>.t;</code></td></tr><tr id="type-t.event" class="anchored"><td class="def field"><a href="#type-t.event" class="anchor"></a><code>event : <a href="../Event/index.html#type-t">Event.t</a>;</code></td></tr></table><code>}</code></dt></dl></div></body></html>

website/static/odoc/next/infer/Concurrency__StarvationDomain/Event/index.html

@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Event (infer.Concurrency__StarvationDomain.Event)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">Concurrency__StarvationDomain</a> &#x00BB; Event</nav><h1>Module <code>Concurrency__StarvationDomain.Event</code></h1></header><dl><dt class="spec type" id="type-t"><a href="#type-t" class="anchor"></a><code><span class="keyword">type</span> t</code><code> = </code><table class="variant"><tr id="type-t.LockAcquire" class="anchored"><td class="def constructor"><a href="#type-t.LockAcquire" class="anchor"></a><code>| </code><code><span class="constructor">LockAcquire</span> <span class="keyword">of</span> </code><code>{</code><table class="record"><tr id="type-t.locks" class="anchored"><td class="def field"><a href="#type-t.locks" class="anchor"></a><code>locks : <span><a href="../index.html#module-Lock">Lock</a>.t list</span>;</code></td></tr></table><code>}</code></td></tr><tr id="type-t.MayBlock" class="anchored"><td class="def constructor"><a href="#type-t.MayBlock" class="anchor"></a><code>| </code><code><span class="constructor">MayBlock</span> <span class="keyword">of</span> </code><code>{</code><table class="record"><tr id="type-t.callee" class="anchored"><td class="def field"><a href="#type-t.callee" class="anchor"></a><code>callee : <a href="../../IR/Procname/index.html#type-t">IR.Procname.t</a>;</code></td></tr><tr id="type-t.severity" class="anchored"><td class="def field"><a href="#type-t.severity" class="anchor"></a><code>severity : <a href="../../Concurrency/StarvationModels/index.html#type-severity">Concurrency.StarvationModels.severity</a>;</code></td></tr></table><code>}</code></td></tr><tr id="type-t.StrictModeCall" class="anchored"><td class="def constructor"><a href="#type-t.StrictModeCall" class="anchor"></a><code>| </code><code><span class="constructor">StrictModeCall</span> <span class="keyword">of</span> </code><code>{</code><table class="record"><tr id="type-t.callee" class="anchored"><td class="def field"><a href="#type-t.callee" class="anchor"></a><code>callee : <a href="../../IR/Procname/index.html#type-t">IR.Procname.t</a>;</code></td></tr></table><code>}</code></td></tr><tr id="type-t.MonitorWait" class="anchored"><td class="def constructor"><a href="#type-t.MonitorWait" class="anchor"></a><code>| </code><code><span class="constructor">MonitorWait</span> <span class="keyword">of</span> </code><code>{</code><table class="record"><tr id="type-t.lock" class="anchored"><td class="def field"><a href="#type-t.lock" class="anchor"></a><code>lock : <a href="../index.html#module-Lock">Lock</a>.t;</code></td></tr></table><code>}</code></td></tr></table></dt></dl><div><div class="spec include"><div class="doc"><dl><dt class="spec value" id="val-compare"><a href="#val-compare" class="anchor"></a><code><span class="keyword">val</span> compare : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> int</code></dt></dl></div></div></div><dl><dt class="spec value" id="val-describe"><a href="#val-describe" class="anchor"></a><code><span class="keyword">val</span> describe : <a href="../index.html#module-F">F</a>.formatter <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> unit</code></dt></dl></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Event (infer.Concurrency__StarvationDomain.Event)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">Concurrency__StarvationDomain</a> &#x00BB; Event</nav><h1>Module <code>Concurrency__StarvationDomain.Event</code></h1></header><dl><dt class="spec type" id="type-t"><a href="#type-t" class="anchor"></a><code><span class="keyword">type</span> t</code><code> = </code><table class="variant"><tr id="type-t.LockAcquire" class="anchored"><td class="def constructor"><a href="#type-t.LockAcquire" class="anchor"></a><code>| </code><code><span class="constructor">LockAcquire</span> <span class="keyword">of</span> </code><code>{</code><table class="record"><tr id="type-t.locks" class="anchored"><td class="def field"><a href="#type-t.locks" class="anchor"></a><code>locks : <span><a href="../index.html#module-Lock">Lock</a>.t list</span>;</code></td></tr><tr id="type-t.thread" class="anchored"><td class="def field"><a href="#type-t.thread" class="anchor"></a><code>thread : <a href="../ThreadDomain/index.html#type-t">ThreadDomain.t</a>;</code></td></tr></table><code>}</code></td></tr><tr id="type-t.MayBlock" class="anchored"><td class="def constructor"><a href="#type-t.MayBlock" class="anchor"></a><code>| </code><code><span class="constructor">MayBlock</span> <span class="keyword">of</span> </code><code>{</code><table class="record"><tr id="type-t.callee" class="anchored"><td class="def field"><a href="#type-t.callee" class="anchor"></a><code>callee : <a href="../../IR/Procname/index.html#type-t">IR.Procname.t</a>;</code></td></tr><tr id="type-t.severity" class="anchored"><td class="def field"><a href="#type-t.severity" class="anchor"></a><code>severity : <a href="../../Concurrency/StarvationModels/index.html#type-severity">Concurrency.StarvationModels.severity</a>;</code></td></tr><tr id="type-t.thread" class="anchored"><td class="def field"><a href="#type-t.thread" class="anchor"></a><code>thread : <a href="../ThreadDomain/index.html#type-t">ThreadDomain.t</a>;</code></td></tr></table><code>}</code></td></tr><tr id="type-t.StrictModeCall" class="anchored"><td class="def constructor"><a href="#type-t.StrictModeCall" class="anchor"></a><code>| </code><code><span class="constructor">StrictModeCall</span> <span class="keyword">of</span> </code><code>{</code><table class="record"><tr id="type-t.callee" class="anchored"><td class="def field"><a href="#type-t.callee" class="anchor"></a><code>callee : <a href="../../IR/Procname/index.html#type-t">IR.Procname.t</a>;</code></td></tr><tr id="type-t.thread" class="anchored"><td class="def field"><a href="#type-t.thread" class="anchor"></a><code>thread : <a href="../ThreadDomain/index.html#type-t">ThreadDomain.t</a>;</code></td></tr></table><code>}</code></td></tr><tr id="type-t.MonitorWait" class="anchored"><td class="def constructor"><a href="#type-t.MonitorWait" class="anchor"></a><code>| </code><code><span class="constructor">MonitorWait</span> <span class="keyword">of</span> </code><code>{</code><table class="record"><tr id="type-t.lock" class="anchored"><td class="def field"><a href="#type-t.lock" class="anchor"></a><code>lock : <a href="../index.html#module-Lock">Lock</a>.t;</code></td></tr><tr id="type-t.thread" class="anchored"><td class="def field"><a href="#type-t.thread" class="anchor"></a><code>thread : <a href="../ThreadDomain/index.html#type-t">ThreadDomain.t</a>;</code></td></tr></table><code>}</code></td></tr></table></dt></dl><div><div class="spec include"><div class="doc"><dl><dt class="spec value" id="val-compare"><a href="#val-compare" class="anchor"></a><code><span class="keyword">val</span> compare : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> int</code></dt></dl></div></div></div><dl><dt class="spec value" id="val-describe"><a href="#val-describe" class="anchor"></a><code><span class="keyword">val</span> describe : <a href="../index.html#module-F">F</a>.formatter <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> unit</code></dt><dt class="spec value" id="val-get_acquired_locks"><a href="#val-get_acquired_locks" class="anchor"></a><code><span class="keyword">val</span> get_acquired_locks : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <span><a href="../index.html#module-Lock">Lock</a>.t list</span></code></dt></dl></div></body></html>

website/static/odoc/next/infer/Costlib/Cost/index.html

@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Cost (infer.Costlib.Cost)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">Costlib</a> &#x00BB; Cost</nav><h1>Module <code>Costlib.Cost</code></h1></header><dl><dt class="spec value" id="val-checker"><a href="#val-checker" class="anchor"></a><code><span class="keyword">val</span> checker : <span><span>(<span><a href="../CostDomain/index.html#type-summary">CostDomain.summary</a> option</span> * <span><a href="../../BO/BufferOverrunAnalysisSummary/index.html#type-t">BO.BufferOverrunAnalysisSummary.t</a> option</span> * <span><a href="../../Checkers/PurityDomain/index.html#type-summary">Checkers.PurityDomain.summary</a> option</span>)</span> <a href="../../Absint/InterproceduralAnalysis/index.html#type-t">Absint.InterproceduralAnalysis.t</a></span> <span>&#45;&gt;</span> <span><a href="../CostDomain/index.html#type-summary">CostDomain.summary</a> option</span></code></dt><dt class="spec value" id="val-instantiate_cost"><a href="#val-instantiate_cost" class="anchor"></a><code><span class="keyword">val</span> instantiate_cost : <a href="../../IR/Typ/IntegerWidths/index.html#type-t">IR.Typ.IntegerWidths.t</a> <span>&#45;&gt;</span> <span>inferbo_caller_mem:<a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a></span> <span>&#45;&gt;</span> <span>callee_pname:<a href="../../IR/Procname/index.html#type-t">IR.Procname.t</a></span> <span>&#45;&gt;</span> <span>callee_formals:<span><span>(<a href="../../IR/Pvar/index.html#type-t">IR.Pvar.t</a> * <a href="../../IR/Typ/index.html#type-t">IR.Typ.t</a>)</span> list</span></span> <span>&#45;&gt;</span> <span>params:<span><span>(<a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> * <a href="../../IR/Typ/index.html#type-t">IR.Typ.t</a>)</span> list</span></span> <span>&#45;&gt;</span> <span>callee_cost:<a href="../CostDomain/BasicCostWithReason/index.html#type-t">CostDomain.BasicCostWithReason.t</a></span> <span>&#45;&gt;</span> <span>loc:<a href="../../IBase/Location/index.html#type-t">IBase.Location.t</a></span> <span>&#45;&gt;</span> <a href="../CostDomain/BasicCostWithReason/index.html#type-t">CostDomain.BasicCostWithReason.t</a></code></dt><dt class="spec value" id="val-is_report_suppressed"><a href="#val-is_report_suppressed" class="anchor"></a><code><span class="keyword">val</span> is_report_suppressed : <a href="../../IR/Procname/index.html#type-t">IR.Procname.t</a> <span>&#45;&gt;</span> bool</code></dt></dl></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Cost (infer.Costlib.Cost)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">Costlib</a> &#x00BB; Cost</nav><h1>Module <code>Costlib.Cost</code></h1></header><dl><dt class="spec value" id="val-checker"><a href="#val-checker" class="anchor"></a><code><span class="keyword">val</span> checker : <span><span>(<span><a href="../CostDomain/index.html#type-summary">CostDomain.summary</a> option</span> * <span><a href="../../BO/BufferOverrunAnalysisSummary/index.html#type-t">BO.BufferOverrunAnalysisSummary.t</a> option</span> * <span><a href="../../Checkers/PurityDomain/index.html#type-summary">Checkers.PurityDomain.summary</a> option</span>)</span> <a href="../../Absint/InterproceduralAnalysis/index.html#type-t">Absint.InterproceduralAnalysis.t</a></span> <span>&#45;&gt;</span> <span><a href="../CostDomain/index.html#type-summary">CostDomain.summary</a> option</span></code></dt><dt class="spec value" id="val-instantiate_cost"><a href="#val-instantiate_cost" class="anchor"></a><code><span class="keyword">val</span> instantiate_cost : <span>?&#8288;get_closure_callee_cost:<span>(<a href="../../IR/Procname/index.html#type-t">IR.Procname.t</a> <span>&#45;&gt;</span> <span><a href="../CostDomain/BasicCostWithReason/index.html#type-t">CostDomain.BasicCostWithReason.t</a> option</span>)</span></span> <span>&#45;&gt;</span> <span>default_closure_cost:<a href="../../BO/Ints/NonNegativeInt/index.html#type-t">BO.Ints.NonNegativeInt.t</a></span> <span>&#45;&gt;</span> <a href="../../IR/Typ/IntegerWidths/index.html#type-t">IR.Typ.IntegerWidths.t</a> <span>&#45;&gt;</span> <span>inferbo_caller_mem:<a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a></span> <span>&#45;&gt;</span> <span>callee_pname:<a href="../../IR/Procname/index.html#type-t">IR.Procname.t</a></span> <span>&#45;&gt;</span> <span>callee_formals:<span><span>(<a href="../../IR/Pvar/index.html#type-t">IR.Pvar.t</a> * <a href="../../IR/Typ/index.html#type-t">IR.Typ.t</a>)</span> list</span></span> <span>&#45;&gt;</span> <span>params:<span><span>(<a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> * <a href="../../IR/Typ/index.html#type-t">IR.Typ.t</a>)</span> list</span></span> <span>&#45;&gt;</span> <span>callee_cost:<a href="../CostDomain/BasicCostWithReason/index.html#type-t">CostDomain.BasicCostWithReason.t</a></span> <span>&#45;&gt;</span> <span>loc:<a href="../../IBase/Location/index.html#type-t">IBase.Location.t</a></span> <span>&#45;&gt;</span> <a href="../CostDomain/BasicCostWithReason/index.html#type-t">CostDomain.BasicCostWithReason.t</a></code></dt><dt class="spec value" id="val-is_report_suppressed"><a href="#val-is_report_suppressed" class="anchor"></a><code><span class="keyword">val</span> is_report_suppressed : <a href="../../IR/Procname/index.html#type-t">IR.Procname.t</a> <span>&#45;&gt;</span> bool</code></dt></dl></div></body></html>

website/static/odoc/next/infer/Costlib/CostModels/BoundsOf/index.html

@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>BoundsOf (infer.Costlib.CostModels.BoundsOf)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../../index.html">infer</a> &#x00BB; <a href="../../index.html">Costlib</a> &#x00BB; <a href="../index.html">CostModels</a> &#x00BB; BoundsOf</nav><h1>Module <code>CostModels.BoundsOf</code></h1></header><h3 class="heading">Parameters</h3><ul><li><code><a href="argument-1-Container/index.html">Container</a> : <a href="../../CostUtils/index.html#module-type-S">CostUtils.S</a></code></li></ul><h3 class="heading">Signature</h3><dl><dt class="spec value" id="val-of_length"><a href="#val-of_length" class="anchor"></a><code><span class="keyword">val</span> of_length : <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <span>degree_kind:<a href="../../../BO__Polynomials/DegreeKind/index.html#type-t">BO__Polynomials.DegreeKind.t</a></span> <span>&#45;&gt;</span> <a href="../../CostUtils/BasicCost/index.html#type-t">CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-linear_length"><a href="#val-linear_length" class="anchor"></a><code><span class="keyword">val</span> linear_length : <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../CostUtils/BasicCost/index.html#type-t">CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-logarithmic_length"><a href="#val-logarithmic_length" class="anchor"></a><code><span class="keyword">val</span> logarithmic_length : <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../CostUtils/BasicCost/index.html#type-t">CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-n_log_n_length"><a href="#val-n_log_n_length" class="anchor"></a><code><span class="keyword">val</span> n_log_n_length : <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../../Costlib__CostDomain/BasicCost/index.html#type-t">BasicCost.t</a></code></dt></dl></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>BoundsOf (infer.Costlib.CostModels.BoundsOf)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../../index.html">infer</a> &#x00BB; <a href="../../index.html">Costlib</a> &#x00BB; <a href="../index.html">CostModels</a> &#x00BB; BoundsOf</nav><h1>Module <code>CostModels.BoundsOf</code></h1></header><h3 class="heading">Parameters</h3><ul><li><code><a href="argument-1-Container/index.html">Container</a> : <a href="../../CostUtils/index.html#module-type-S">CostUtils.S</a></code></li></ul><h3 class="heading">Signature</h3><dl><dt class="spec value" id="val-of_length"><a href="#val-of_length" class="anchor"></a><code><span class="keyword">val</span> of_length : <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <span>degree_kind:<a href="../../../BO__Polynomials/DegreeKind/index.html#type-t">BO__Polynomials.DegreeKind.t</a></span> <span>&#45;&gt;</span> <a href="../../CostUtils/BasicCost/index.html#type-t">CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-linear_length"><a href="#val-linear_length" class="anchor"></a><code><span class="keyword">val</span> linear_length : <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../CostUtils/BasicCost/index.html#type-t">CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-logarithmic_length"><a href="#val-logarithmic_length" class="anchor"></a><code><span class="keyword">val</span> logarithmic_length : <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../CostUtils/BasicCost/index.html#type-t">CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-n_log_n_length"><a href="#val-n_log_n_length" class="anchor"></a><code><span class="keyword">val</span> n_log_n_length : <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../../Costlib__CostDomain/BasicCost/index.html#type-t">BasicCost.t</a></code></dt></dl></div></body></html>

website/static/odoc/next/infer/Costlib/CostModels/BoundsOfArray/index.html

@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>BoundsOfArray (infer.Costlib.CostModels.BoundsOfArray)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../../index.html">infer</a> &#x00BB; <a href="../../index.html">Costlib</a> &#x00BB; <a href="../index.html">CostModels</a> &#x00BB; BoundsOfArray</nav><h1>Module <code>CostModels.BoundsOfArray</code></h1></header><dl><dt class="spec value" id="val-of_length"><a href="#val-of_length" class="anchor"></a><code><span class="keyword">val</span> of_length : <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <span>degree_kind:<a href="../../../BO__Polynomials/DegreeKind/index.html#type-t">BO__Polynomials.DegreeKind.t</a></span> <span>&#45;&gt;</span> <a href="../../CostUtils/BasicCost/index.html#type-t">CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-linear_length"><a href="#val-linear_length" class="anchor"></a><code><span class="keyword">val</span> linear_length : <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../CostUtils/BasicCost/index.html#type-t">CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-logarithmic_length"><a href="#val-logarithmic_length" class="anchor"></a><code><span class="keyword">val</span> logarithmic_length : <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../CostUtils/BasicCost/index.html#type-t">CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-n_log_n_length"><a href="#val-n_log_n_length" class="anchor"></a><code><span class="keyword">val</span> n_log_n_length : <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../../Costlib__CostDomain/BasicCost/index.html#type-t">BasicCost.t</a></code></dt></dl></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>BoundsOfArray (infer.Costlib.CostModels.BoundsOfArray)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../../index.html">infer</a> &#x00BB; <a href="../../index.html">Costlib</a> &#x00BB; <a href="../index.html">CostModels</a> &#x00BB; BoundsOfArray</nav><h1>Module <code>CostModels.BoundsOfArray</code></h1></header><dl><dt class="spec value" id="val-of_length"><a href="#val-of_length" class="anchor"></a><code><span class="keyword">val</span> of_length : <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <span>degree_kind:<a href="../../../BO__Polynomials/DegreeKind/index.html#type-t">BO__Polynomials.DegreeKind.t</a></span> <span>&#45;&gt;</span> <a href="../../CostUtils/BasicCost/index.html#type-t">CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-linear_length"><a href="#val-linear_length" class="anchor"></a><code><span class="keyword">val</span> linear_length : <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../CostUtils/BasicCost/index.html#type-t">CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-logarithmic_length"><a href="#val-logarithmic_length" class="anchor"></a><code><span class="keyword">val</span> logarithmic_length : <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../CostUtils/BasicCost/index.html#type-t">CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-n_log_n_length"><a href="#val-n_log_n_length" class="anchor"></a><code><span class="keyword">val</span> n_log_n_length : <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../../Costlib__CostDomain/BasicCost/index.html#type-t">BasicCost.t</a></code></dt></dl></div></body></html>

website/static/odoc/next/infer/Costlib/CostModels/BoundsOfCString/index.html

@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>BoundsOfCString (infer.Costlib.CostModels.BoundsOfCString)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../../index.html">infer</a> &#x00BB; <a href="../../index.html">Costlib</a> &#x00BB; <a href="../index.html">CostModels</a> &#x00BB; BoundsOfCString</nav><h1>Module <code>CostModels.BoundsOfCString</code></h1></header><dl><dt class="spec value" id="val-of_length"><a href="#val-of_length" class="anchor"></a><code><span class="keyword">val</span> of_length : <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <span>degree_kind:<a href="../../../BO__Polynomials/DegreeKind/index.html#type-t">BO__Polynomials.DegreeKind.t</a></span> <span>&#45;&gt;</span> <a href="../../CostUtils/BasicCost/index.html#type-t">CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-linear_length"><a href="#val-linear_length" class="anchor"></a><code><span class="keyword">val</span> linear_length : <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../CostUtils/BasicCost/index.html#type-t">CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-logarithmic_length"><a href="#val-logarithmic_length" class="anchor"></a><code><span class="keyword">val</span> logarithmic_length : <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../CostUtils/BasicCost/index.html#type-t">CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-n_log_n_length"><a href="#val-n_log_n_length" class="anchor"></a><code><span class="keyword">val</span> n_log_n_length : <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../../Costlib__CostDomain/BasicCost/index.html#type-t">BasicCost.t</a></code></dt></dl></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>BoundsOfCString (infer.Costlib.CostModels.BoundsOfCString)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../../index.html">infer</a> &#x00BB; <a href="../../index.html">Costlib</a> &#x00BB; <a href="../index.html">CostModels</a> &#x00BB; BoundsOfCString</nav><h1>Module <code>CostModels.BoundsOfCString</code></h1></header><dl><dt class="spec value" id="val-of_length"><a href="#val-of_length" class="anchor"></a><code><span class="keyword">val</span> of_length : <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <span>degree_kind:<a href="../../../BO__Polynomials/DegreeKind/index.html#type-t">BO__Polynomials.DegreeKind.t</a></span> <span>&#45;&gt;</span> <a href="../../CostUtils/BasicCost/index.html#type-t">CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-linear_length"><a href="#val-linear_length" class="anchor"></a><code><span class="keyword">val</span> linear_length : <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../CostUtils/BasicCost/index.html#type-t">CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-logarithmic_length"><a href="#val-logarithmic_length" class="anchor"></a><code><span class="keyword">val</span> logarithmic_length : <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../CostUtils/BasicCost/index.html#type-t">CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-n_log_n_length"><a href="#val-n_log_n_length" class="anchor"></a><code><span class="keyword">val</span> n_log_n_length : <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../../Costlib__CostDomain/BasicCost/index.html#type-t">BasicCost.t</a></code></dt></dl></div></body></html>

website/static/odoc/next/infer/Costlib/CostModels/BoundsOfCollection/index.html

@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>BoundsOfCollection (infer.Costlib.CostModels.BoundsOfCollection)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../../index.html">infer</a> &#x00BB; <a href="../../index.html">Costlib</a> &#x00BB; <a href="../index.html">CostModels</a> &#x00BB; BoundsOfCollection</nav><h1>Module <code>CostModels.BoundsOfCollection</code></h1></header><dl><dt class="spec value" id="val-of_length"><a href="#val-of_length" class="anchor"></a><code><span class="keyword">val</span> of_length : <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <span>degree_kind:<a href="../../../BO__Polynomials/DegreeKind/index.html#type-t">BO__Polynomials.DegreeKind.t</a></span> <span>&#45;&gt;</span> <a href="../../CostUtils/BasicCost/index.html#type-t">CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-linear_length"><a href="#val-linear_length" class="anchor"></a><code><span class="keyword">val</span> linear_length : <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../CostUtils/BasicCost/index.html#type-t">CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-logarithmic_length"><a href="#val-logarithmic_length" class="anchor"></a><code><span class="keyword">val</span> logarithmic_length : <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../CostUtils/BasicCost/index.html#type-t">CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-n_log_n_length"><a href="#val-n_log_n_length" class="anchor"></a><code><span class="keyword">val</span> n_log_n_length : <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../../Costlib__CostDomain/BasicCost/index.html#type-t">BasicCost.t</a></code></dt></dl></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>BoundsOfCollection (infer.Costlib.CostModels.BoundsOfCollection)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../../index.html">infer</a> &#x00BB; <a href="../../index.html">Costlib</a> &#x00BB; <a href="../index.html">CostModels</a> &#x00BB; BoundsOfCollection</nav><h1>Module <code>CostModels.BoundsOfCollection</code></h1></header><dl><dt class="spec value" id="val-of_length"><a href="#val-of_length" class="anchor"></a><code><span class="keyword">val</span> of_length : <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <span>degree_kind:<a href="../../../BO__Polynomials/DegreeKind/index.html#type-t">BO__Polynomials.DegreeKind.t</a></span> <span>&#45;&gt;</span> <a href="../../CostUtils/BasicCost/index.html#type-t">CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-linear_length"><a href="#val-linear_length" class="anchor"></a><code><span class="keyword">val</span> linear_length : <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../CostUtils/BasicCost/index.html#type-t">CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-logarithmic_length"><a href="#val-logarithmic_length" class="anchor"></a><code><span class="keyword">val</span> logarithmic_length : <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../CostUtils/BasicCost/index.html#type-t">CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-n_log_n_length"><a href="#val-n_log_n_length" class="anchor"></a><code><span class="keyword">val</span> n_log_n_length : <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../../Costlib__CostDomain/BasicCost/index.html#type-t">BasicCost.t</a></code></dt></dl></div></body></html>

website/static/odoc/next/infer/Costlib/CostModels/BoundsOfNSCollection/index.html

@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>BoundsOfNSCollection (infer.Costlib.CostModels.BoundsOfNSCollection)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../../index.html">infer</a> &#x00BB; <a href="../../index.html">Costlib</a> &#x00BB; <a href="../index.html">CostModels</a> &#x00BB; BoundsOfNSCollection</nav><h1>Module <code>CostModels.BoundsOfNSCollection</code></h1></header><dl><dt class="spec value" id="val-of_length"><a href="#val-of_length" class="anchor"></a><code><span class="keyword">val</span> of_length : <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <span>degree_kind:<a href="../../../BO__Polynomials/DegreeKind/index.html#type-t">BO__Polynomials.DegreeKind.t</a></span> <span>&#45;&gt;</span> <a href="../../CostUtils/BasicCost/index.html#type-t">CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-linear_length"><a href="#val-linear_length" class="anchor"></a><code><span class="keyword">val</span> linear_length : <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../CostUtils/BasicCost/index.html#type-t">CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-logarithmic_length"><a href="#val-logarithmic_length" class="anchor"></a><code><span class="keyword">val</span> logarithmic_length : <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../CostUtils/BasicCost/index.html#type-t">CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-n_log_n_length"><a href="#val-n_log_n_length" class="anchor"></a><code><span class="keyword">val</span> n_log_n_length : <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../../Costlib__CostDomain/BasicCost/index.html#type-t">BasicCost.t</a></code></dt></dl></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>BoundsOfNSCollection (infer.Costlib.CostModels.BoundsOfNSCollection)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../../index.html">infer</a> &#x00BB; <a href="../../index.html">Costlib</a> &#x00BB; <a href="../index.html">CostModels</a> &#x00BB; BoundsOfNSCollection</nav><h1>Module <code>CostModels.BoundsOfNSCollection</code></h1></header><dl><dt class="spec value" id="val-of_length"><a href="#val-of_length" class="anchor"></a><code><span class="keyword">val</span> of_length : <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <span>degree_kind:<a href="../../../BO__Polynomials/DegreeKind/index.html#type-t">BO__Polynomials.DegreeKind.t</a></span> <span>&#45;&gt;</span> <a href="../../CostUtils/BasicCost/index.html#type-t">CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-linear_length"><a href="#val-linear_length" class="anchor"></a><code><span class="keyword">val</span> linear_length : <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../CostUtils/BasicCost/index.html#type-t">CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-logarithmic_length"><a href="#val-logarithmic_length" class="anchor"></a><code><span class="keyword">val</span> logarithmic_length : <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../CostUtils/BasicCost/index.html#type-t">CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-n_log_n_length"><a href="#val-n_log_n_length" class="anchor"></a><code><span class="keyword">val</span> n_log_n_length : <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../../Costlib__CostDomain/BasicCost/index.html#type-t">BasicCost.t</a></code></dt></dl></div></body></html>

website/static/odoc/next/infer/Costlib/CostModels/Call/index.html

@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Call (infer.Costlib.CostModels.Call)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../../index.html">infer</a> &#x00BB; <a href="../../index.html">Costlib</a> &#x00BB; <a href="../index.html">CostModels</a> &#x00BB; Call</nav><h1>Module <code>CostModels.Call</code></h1></header><dl><dt class="spec value" id="val-dispatch"><a href="#val-dispatch" class="anchor"></a><code><span class="keyword">val</span> dispatch : <span><span>(<a href="../../../IR/Tenv/index.html#type-t">IR.Tenv.t</a>, <a href="../../CostUtils/index.html#type-model">CostUtils.model</a>, unit)</span> <a href="../../../Absint/ProcnameDispatcher/Call/index.html#type-dispatcher">Absint.ProcnameDispatcher.Call.dispatcher</a></span></code></dt></dl></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Call (infer.Costlib.CostModels.Call)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../../index.html">infer</a> &#x00BB; <a href="../../index.html">Costlib</a> &#x00BB; <a href="../index.html">CostModels</a> &#x00BB; Call</nav><h1>Module <code>CostModels.Call</code></h1></header><dl><dt class="spec value" id="val-dispatch"><a href="#val-dispatch" class="anchor"></a><code><span class="keyword">val</span> dispatch : <span><span>(<a href="../../../IR/Tenv/index.html#type-t">IR.Tenv.t</a>, <span>(<a href="../../../IR/Procname/index.html#type-t">IR.Procname.t</a> <span>&#45;&gt;</span> <span><a href="../../CostDomain/index.html#type-summary">CostDomain.summary</a> option</span>)</span> <span>&#45;&gt;</span> <a href="../../CostUtils/index.html#type-model">CostUtils.model</a>, unit)</span> <a href="../../../Absint/ProcnameDispatcher/Call/index.html#type-dispatcher">Absint.ProcnameDispatcher.Call.dispatcher</a></span></code></dt></dl></div></body></html>

website/static/odoc/next/infer/Costlib/CostModels/ImmutableSet/index.html

@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ImmutableSet (infer.Costlib.CostModels.ImmutableSet)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../../index.html">infer</a> &#x00BB; <a href="../../index.html">Costlib</a> &#x00BB; <a href="../index.html">CostModels</a> &#x00BB; ImmutableSet</nav><h1>Module <code>CostModels.ImmutableSet</code></h1></header><dl><dt class="spec value" id="val-construct"><a href="#val-construct" class="anchor"></a><code><span class="keyword">val</span> construct : <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <a href="../../CostUtils/BasicCost/index.html#type-t">CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-choose_table_size"><a href="#val-choose_table_size" class="anchor"></a><code><span class="keyword">val</span> choose_table_size : <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <a href="../../CostUtils/BasicCost/index.html#type-t">CostUtils.BasicCost.t</a></code></dt></dl></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ImmutableSet (infer.Costlib.CostModels.ImmutableSet)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../../index.html">infer</a> &#x00BB; <a href="../../index.html">Costlib</a> &#x00BB; <a href="../index.html">CostModels</a> &#x00BB; ImmutableSet</nav><h1>Module <code>CostModels.ImmutableSet</code></h1></header><dl><dt class="spec value" id="val-construct"><a href="#val-construct" class="anchor"></a><code><span class="keyword">val</span> construct : <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <a href="../../CostUtils/BasicCost/index.html#type-t">CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-choose_table_size"><a href="#val-choose_table_size" class="anchor"></a><code><span class="keyword">val</span> choose_table_size : <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <a href="../../CostUtils/BasicCost/index.html#type-t">CostUtils.BasicCost.t</a></code></dt></dl></div></body></html>

website/static/odoc/next/infer/Costlib/CostModels/IntHashMap/index.html

@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>IntHashMap (infer.Costlib.CostModels.IntHashMap)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../../index.html">infer</a> &#x00BB; <a href="../../index.html">Costlib</a> &#x00BB; <a href="../index.html">CostModels</a> &#x00BB; IntHashMap</nav><h1>Module <code>CostModels.IntHashMap</code></h1></header><dl><dt class="spec value" id="val-keys"><a href="#val-keys" class="anchor"></a><code><span class="keyword">val</span> keys : <span><span class="type-var">'a</span> <a href="../../../Absint/ProcnameDispatcher/Call/FuncArg/index.html#type-t">Absint.ProcnameDispatcher.Call.FuncArg.t</a></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <a href="../../CostUtils/BasicCost/index.html#type-t">CostUtils.BasicCost.t</a></code></dt></dl></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>IntHashMap (infer.Costlib.CostModels.IntHashMap)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../../index.html">infer</a> &#x00BB; <a href="../../index.html">Costlib</a> &#x00BB; <a href="../index.html">CostModels</a> &#x00BB; IntHashMap</nav><h1>Module <code>CostModels.IntHashMap</code></h1></header><dl><dt class="spec value" id="val-keys"><a href="#val-keys" class="anchor"></a><code><span class="keyword">val</span> keys : <span><span class="type-var">'a</span> <a href="../../../Absint/ProcnameDispatcher/Call/FuncArg/index.html#type-t">Absint.ProcnameDispatcher.Call.FuncArg.t</a></span> <span>&#45;&gt;</span> <span class="type-var">'b</span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'c</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <a href="../../CostUtils/BasicCost/index.html#type-t">CostUtils.BasicCost.t</a></code></dt></dl></div></body></html>

website/static/odoc/next/infer/Costlib/CostModels/NSCollection/index.html

@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>NSCollection (infer.Costlib.CostModels.NSCollection)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../../index.html">infer</a> &#x00BB; <a href="../../index.html">Costlib</a> &#x00BB; <a href="../index.html">CostModels</a> &#x00BB; NSCollection</nav><h1>Module <code>CostModels.NSCollection</code></h1></header><dl><dt class="spec value" id="val-get_length"><a href="#val-get_length" class="anchor"></a><code><span class="keyword">val</span> get_length : <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <a href="../../CostUtils/BasicCost/index.html#type-t">CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-op_on_two_coll"><a href="#val-op_on_two_coll" class="anchor"></a><code><span class="keyword">val</span> op_on_two_coll : <span>(<a href="../../CostUtils/BasicCost/index.html#type-t">CostUtils.BasicCost.t</a> <span>&#45;&gt;</span> <a href="../../CostUtils/BasicCost/index.html#type-t">CostUtils.BasicCost.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span>)</span> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span></code></dt></dl></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>NSCollection (infer.Costlib.CostModels.NSCollection)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../../index.html">infer</a> &#x00BB; <a href="../../index.html">Costlib</a> &#x00BB; <a href="../index.html">CostModels</a> &#x00BB; NSCollection</nav><h1>Module <code>CostModels.NSCollection</code></h1></header><dl><dt class="spec value" id="val-get_length"><a href="#val-get_length" class="anchor"></a><code><span class="keyword">val</span> get_length : <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <a href="../../CostUtils/BasicCost/index.html#type-t">CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-op_on_two_coll"><a href="#val-op_on_two_coll" class="anchor"></a><code><span class="keyword">val</span> op_on_two_coll : <span>(<a href="../../CostUtils/BasicCost/index.html#type-t">CostUtils.BasicCost.t</a> <span>&#45;&gt;</span> <a href="../../CostUtils/BasicCost/index.html#type-t">CostUtils.BasicCost.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span>)</span> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span class="type-var">'b</span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'c</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span></code></dt><dt class="spec value" id="val-enumerate_using_block"><a href="#val-enumerate_using_block" class="anchor"></a><code><span class="keyword">val</span> enumerate_using_block : <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span>(<a href="../../../IR/Procname/index.html#type-t">IR.Procname.t</a> <span>&#45;&gt;</span> <span><a href="../../CostDomain/index.html#type-summary">CostDomain.summary</a> option</span>)</span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <a href="../../../Costlib__CostDomain/BasicCost/index.html#type-t">BasicCost.t</a></code></dt></dl></div></body></html>

website/static/odoc/next/infer/Costlib/CostModels/NSString/index.html

@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>NSString (infer.Costlib.CostModels.NSString)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../../index.html">infer</a> &#x00BB; <a href="../../index.html">Costlib</a> &#x00BB; <a href="../index.html">CostModels</a> &#x00BB; NSString</nav><h1>Module <code>CostModels.NSString</code></h1></header><dl><dt class="spec value" id="val-get_length"><a href="#val-get_length" class="anchor"></a><code><span class="keyword">val</span> get_length : <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <a href="../../CostUtils/BasicCost/index.html#type-t">CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-op_on_two_str"><a href="#val-op_on_two_str" class="anchor"></a><code><span class="keyword">val</span> op_on_two_str : <span>(<a href="../../CostUtils/BasicCost/index.html#type-t">CostUtils.BasicCost.t</a> <span>&#45;&gt;</span> <a href="../../CostUtils/BasicCost/index.html#type-t">CostUtils.BasicCost.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span>)</span> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span></code></dt><dt class="spec value" id="val-substring_from_index"><a href="#val-substring_from_index" class="anchor"></a><code><span class="keyword">val</span> substring_from_index : <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <a href="../../CostUtils/BasicCost/index.html#type-t">CostUtils.BasicCost.t</a></code></dt></dl></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>NSString (infer.Costlib.CostModels.NSString)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../../index.html">infer</a> &#x00BB; <a href="../../index.html">Costlib</a> &#x00BB; <a href="../index.html">CostModels</a> &#x00BB; NSString</nav><h1>Module <code>CostModels.NSString</code></h1></header><dl><dt class="spec value" id="val-get_length"><a href="#val-get_length" class="anchor"></a><code><span class="keyword">val</span> get_length : <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <a href="../../CostUtils/BasicCost/index.html#type-t">CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-op_on_two_str"><a href="#val-op_on_two_str" class="anchor"></a><code><span class="keyword">val</span> op_on_two_str : <span>(<a href="../../CostUtils/BasicCost/index.html#type-t">CostUtils.BasicCost.t</a> <span>&#45;&gt;</span> <a href="../../CostUtils/BasicCost/index.html#type-t">CostUtils.BasicCost.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span>)</span> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span class="type-var">'b</span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'c</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span></code></dt><dt class="spec value" id="val-substring_from_index"><a href="#val-substring_from_index" class="anchor"></a><code><span class="keyword">val</span> substring_from_index : <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <a href="../../CostUtils/BasicCost/index.html#type-t">CostUtils.BasicCost.t</a></code></dt></dl></div></body></html>

website/static/odoc/next/infer/Costlib__Cost/index.html

@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Costlib__Cost (infer.Costlib__Cost)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../index.html">infer</a> &#x00BB; Costlib__Cost</nav><h1>Module <code>Costlib__Cost</code></h1></header><dl><dt class="spec value" id="val-checker"><a href="#val-checker" class="anchor"></a><code><span class="keyword">val</span> checker : <span><span>(<span><a href="../Costlib/CostDomain/index.html#type-summary">Costlib.CostDomain.summary</a> option</span> * <span><a href="../BO/BufferOverrunAnalysisSummary/index.html#type-t">BO.BufferOverrunAnalysisSummary.t</a> option</span> * <span><a href="../Checkers/PurityDomain/index.html#type-summary">Checkers.PurityDomain.summary</a> option</span>)</span> <a href="../Absint/InterproceduralAnalysis/index.html#type-t">Absint.InterproceduralAnalysis.t</a></span> <span>&#45;&gt;</span> <span><a href="../Costlib/CostDomain/index.html#type-summary">Costlib.CostDomain.summary</a> option</span></code></dt><dt class="spec value" id="val-instantiate_cost"><a href="#val-instantiate_cost" class="anchor"></a><code><span class="keyword">val</span> instantiate_cost : <a href="../IR/Typ/IntegerWidths/index.html#type-t">IR.Typ.IntegerWidths.t</a> <span>&#45;&gt;</span> <span>inferbo_caller_mem:<a href="../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a></span> <span>&#45;&gt;</span> <span>callee_pname:<a href="../IR/Procname/index.html#type-t">IR.Procname.t</a></span> <span>&#45;&gt;</span> <span>callee_formals:<span><span>(<a href="../IR/Pvar/index.html#type-t">IR.Pvar.t</a> * <a href="../IR/Typ/index.html#type-t">IR.Typ.t</a>)</span> list</span></span> <span>&#45;&gt;</span> <span>params:<span><span>(<a href="../IR/Exp/index.html#type-t">IR.Exp.t</a> * <a href="../IR/Typ/index.html#type-t">IR.Typ.t</a>)</span> list</span></span> <span>&#45;&gt;</span> <span>callee_cost:<a href="../Costlib/CostDomain/BasicCostWithReason/index.html#type-t">Costlib.CostDomain.BasicCostWithReason.t</a></span> <span>&#45;&gt;</span> <span>loc:<a href="../IBase/Location/index.html#type-t">IBase.Location.t</a></span> <span>&#45;&gt;</span> <a href="../Costlib/CostDomain/BasicCostWithReason/index.html#type-t">Costlib.CostDomain.BasicCostWithReason.t</a></code></dt><dt class="spec value" id="val-is_report_suppressed"><a href="#val-is_report_suppressed" class="anchor"></a><code><span class="keyword">val</span> is_report_suppressed : <a href="../IR/Procname/index.html#type-t">IR.Procname.t</a> <span>&#45;&gt;</span> bool</code></dt></dl></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Costlib__Cost (infer.Costlib__Cost)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../index.html">infer</a> &#x00BB; Costlib__Cost</nav><h1>Module <code>Costlib__Cost</code></h1></header><dl><dt class="spec value" id="val-checker"><a href="#val-checker" class="anchor"></a><code><span class="keyword">val</span> checker : <span><span>(<span><a href="../Costlib/CostDomain/index.html#type-summary">Costlib.CostDomain.summary</a> option</span> * <span><a href="../BO/BufferOverrunAnalysisSummary/index.html#type-t">BO.BufferOverrunAnalysisSummary.t</a> option</span> * <span><a href="../Checkers/PurityDomain/index.html#type-summary">Checkers.PurityDomain.summary</a> option</span>)</span> <a href="../Absint/InterproceduralAnalysis/index.html#type-t">Absint.InterproceduralAnalysis.t</a></span> <span>&#45;&gt;</span> <span><a href="../Costlib/CostDomain/index.html#type-summary">Costlib.CostDomain.summary</a> option</span></code></dt><dt class="spec value" id="val-instantiate_cost"><a href="#val-instantiate_cost" class="anchor"></a><code><span class="keyword">val</span> instantiate_cost : <span>?&#8288;get_closure_callee_cost:<span>(<a href="../IR/Procname/index.html#type-t">IR.Procname.t</a> <span>&#45;&gt;</span> <span><a href="../Costlib/CostDomain/BasicCostWithReason/index.html#type-t">Costlib.CostDomain.BasicCostWithReason.t</a> option</span>)</span></span> <span>&#45;&gt;</span> <span>default_closure_cost:<a href="../BO/Ints/NonNegativeInt/index.html#type-t">BO.Ints.NonNegativeInt.t</a></span> <span>&#45;&gt;</span> <a href="../IR/Typ/IntegerWidths/index.html#type-t">IR.Typ.IntegerWidths.t</a> <span>&#45;&gt;</span> <span>inferbo_caller_mem:<a href="../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a></span> <span>&#45;&gt;</span> <span>callee_pname:<a href="../IR/Procname/index.html#type-t">IR.Procname.t</a></span> <span>&#45;&gt;</span> <span>callee_formals:<span><span>(<a href="../IR/Pvar/index.html#type-t">IR.Pvar.t</a> * <a href="../IR/Typ/index.html#type-t">IR.Typ.t</a>)</span> list</span></span> <span>&#45;&gt;</span> <span>params:<span><span>(<a href="../IR/Exp/index.html#type-t">IR.Exp.t</a> * <a href="../IR/Typ/index.html#type-t">IR.Typ.t</a>)</span> list</span></span> <span>&#45;&gt;</span> <span>callee_cost:<a href="../Costlib/CostDomain/BasicCostWithReason/index.html#type-t">Costlib.CostDomain.BasicCostWithReason.t</a></span> <span>&#45;&gt;</span> <span>loc:<a href="../IBase/Location/index.html#type-t">IBase.Location.t</a></span> <span>&#45;&gt;</span> <a href="../Costlib/CostDomain/BasicCostWithReason/index.html#type-t">Costlib.CostDomain.BasicCostWithReason.t</a></code></dt><dt class="spec value" id="val-is_report_suppressed"><a href="#val-is_report_suppressed" class="anchor"></a><code><span class="keyword">val</span> is_report_suppressed : <a href="../IR/Procname/index.html#type-t">IR.Procname.t</a> <span>&#45;&gt;</span> bool</code></dt></dl></div></body></html>

website/static/odoc/next/infer/Costlib__CostModels/BoundsOf/index.html

@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>BoundsOf (infer.Costlib__CostModels.BoundsOf)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">Costlib__CostModels</a> &#x00BB; BoundsOf</nav><h1>Module <code>Costlib__CostModels.BoundsOf</code></h1></header><h3 class="heading">Parameters</h3><ul><li><code><a href="argument-1-Container/index.html">Container</a> : <a href="../../Costlib/CostUtils/index.html#module-type-S">Costlib.CostUtils.S</a></code></li></ul><h3 class="heading">Signature</h3><dl><dt class="spec value" id="val-of_length"><a href="#val-of_length" class="anchor"></a><code><span class="keyword">val</span> of_length : <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <span>degree_kind:<a href="../../BO__Polynomials/DegreeKind/index.html#type-t">BO__Polynomials.DegreeKind.t</a></span> <span>&#45;&gt;</span> <a href="../../Costlib/CostUtils/BasicCost/index.html#type-t">Costlib.CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-linear_length"><a href="#val-linear_length" class="anchor"></a><code><span class="keyword">val</span> linear_length : <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../Costlib/CostUtils/BasicCost/index.html#type-t">Costlib.CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-logarithmic_length"><a href="#val-logarithmic_length" class="anchor"></a><code><span class="keyword">val</span> logarithmic_length : <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../Costlib/CostUtils/BasicCost/index.html#type-t">Costlib.CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-n_log_n_length"><a href="#val-n_log_n_length" class="anchor"></a><code><span class="keyword">val</span> n_log_n_length : <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../Costlib__CostDomain/BasicCost/index.html#type-t">BasicCost.t</a></code></dt></dl></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>BoundsOf (infer.Costlib__CostModels.BoundsOf)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">Costlib__CostModels</a> &#x00BB; BoundsOf</nav><h1>Module <code>Costlib__CostModels.BoundsOf</code></h1></header><h3 class="heading">Parameters</h3><ul><li><code><a href="argument-1-Container/index.html">Container</a> : <a href="../../Costlib/CostUtils/index.html#module-type-S">Costlib.CostUtils.S</a></code></li></ul><h3 class="heading">Signature</h3><dl><dt class="spec value" id="val-of_length"><a href="#val-of_length" class="anchor"></a><code><span class="keyword">val</span> of_length : <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <span>degree_kind:<a href="../../BO__Polynomials/DegreeKind/index.html#type-t">BO__Polynomials.DegreeKind.t</a></span> <span>&#45;&gt;</span> <a href="../../Costlib/CostUtils/BasicCost/index.html#type-t">Costlib.CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-linear_length"><a href="#val-linear_length" class="anchor"></a><code><span class="keyword">val</span> linear_length : <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../Costlib/CostUtils/BasicCost/index.html#type-t">Costlib.CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-logarithmic_length"><a href="#val-logarithmic_length" class="anchor"></a><code><span class="keyword">val</span> logarithmic_length : <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../Costlib/CostUtils/BasicCost/index.html#type-t">Costlib.CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-n_log_n_length"><a href="#val-n_log_n_length" class="anchor"></a><code><span class="keyword">val</span> n_log_n_length : <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../Costlib__CostDomain/BasicCost/index.html#type-t">BasicCost.t</a></code></dt></dl></div></body></html>

website/static/odoc/next/infer/Costlib__CostModels/BoundsOfArray/index.html

@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>BoundsOfArray (infer.Costlib__CostModels.BoundsOfArray)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">Costlib__CostModels</a> &#x00BB; BoundsOfArray</nav><h1>Module <code>Costlib__CostModels.BoundsOfArray</code></h1></header><dl><dt class="spec value" id="val-of_length"><a href="#val-of_length" class="anchor"></a><code><span class="keyword">val</span> of_length : <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <span>degree_kind:<a href="../../BO__Polynomials/DegreeKind/index.html#type-t">BO__Polynomials.DegreeKind.t</a></span> <span>&#45;&gt;</span> <a href="../../Costlib/CostUtils/BasicCost/index.html#type-t">Costlib.CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-linear_length"><a href="#val-linear_length" class="anchor"></a><code><span class="keyword">val</span> linear_length : <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../Costlib/CostUtils/BasicCost/index.html#type-t">Costlib.CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-logarithmic_length"><a href="#val-logarithmic_length" class="anchor"></a><code><span class="keyword">val</span> logarithmic_length : <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../Costlib/CostUtils/BasicCost/index.html#type-t">Costlib.CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-n_log_n_length"><a href="#val-n_log_n_length" class="anchor"></a><code><span class="keyword">val</span> n_log_n_length : <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../Costlib__CostDomain/BasicCost/index.html#type-t">BasicCost.t</a></code></dt></dl></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>BoundsOfArray (infer.Costlib__CostModels.BoundsOfArray)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">Costlib__CostModels</a> &#x00BB; BoundsOfArray</nav><h1>Module <code>Costlib__CostModels.BoundsOfArray</code></h1></header><dl><dt class="spec value" id="val-of_length"><a href="#val-of_length" class="anchor"></a><code><span class="keyword">val</span> of_length : <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <span>degree_kind:<a href="../../BO__Polynomials/DegreeKind/index.html#type-t">BO__Polynomials.DegreeKind.t</a></span> <span>&#45;&gt;</span> <a href="../../Costlib/CostUtils/BasicCost/index.html#type-t">Costlib.CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-linear_length"><a href="#val-linear_length" class="anchor"></a><code><span class="keyword">val</span> linear_length : <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../Costlib/CostUtils/BasicCost/index.html#type-t">Costlib.CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-logarithmic_length"><a href="#val-logarithmic_length" class="anchor"></a><code><span class="keyword">val</span> logarithmic_length : <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../Costlib/CostUtils/BasicCost/index.html#type-t">Costlib.CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-n_log_n_length"><a href="#val-n_log_n_length" class="anchor"></a><code><span class="keyword">val</span> n_log_n_length : <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../Costlib__CostDomain/BasicCost/index.html#type-t">BasicCost.t</a></code></dt></dl></div></body></html>

website/static/odoc/next/infer/Costlib__CostModels/BoundsOfCString/index.html

@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>BoundsOfCString (infer.Costlib__CostModels.BoundsOfCString)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">Costlib__CostModels</a> &#x00BB; BoundsOfCString</nav><h1>Module <code>Costlib__CostModels.BoundsOfCString</code></h1></header><dl><dt class="spec value" id="val-of_length"><a href="#val-of_length" class="anchor"></a><code><span class="keyword">val</span> of_length : <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <span>degree_kind:<a href="../../BO__Polynomials/DegreeKind/index.html#type-t">BO__Polynomials.DegreeKind.t</a></span> <span>&#45;&gt;</span> <a href="../../Costlib/CostUtils/BasicCost/index.html#type-t">Costlib.CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-linear_length"><a href="#val-linear_length" class="anchor"></a><code><span class="keyword">val</span> linear_length : <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../Costlib/CostUtils/BasicCost/index.html#type-t">Costlib.CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-logarithmic_length"><a href="#val-logarithmic_length" class="anchor"></a><code><span class="keyword">val</span> logarithmic_length : <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../Costlib/CostUtils/BasicCost/index.html#type-t">Costlib.CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-n_log_n_length"><a href="#val-n_log_n_length" class="anchor"></a><code><span class="keyword">val</span> n_log_n_length : <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../Costlib__CostDomain/BasicCost/index.html#type-t">BasicCost.t</a></code></dt></dl></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>BoundsOfCString (infer.Costlib__CostModels.BoundsOfCString)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">Costlib__CostModels</a> &#x00BB; BoundsOfCString</nav><h1>Module <code>Costlib__CostModels.BoundsOfCString</code></h1></header><dl><dt class="spec value" id="val-of_length"><a href="#val-of_length" class="anchor"></a><code><span class="keyword">val</span> of_length : <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <span>degree_kind:<a href="../../BO__Polynomials/DegreeKind/index.html#type-t">BO__Polynomials.DegreeKind.t</a></span> <span>&#45;&gt;</span> <a href="../../Costlib/CostUtils/BasicCost/index.html#type-t">Costlib.CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-linear_length"><a href="#val-linear_length" class="anchor"></a><code><span class="keyword">val</span> linear_length : <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../Costlib/CostUtils/BasicCost/index.html#type-t">Costlib.CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-logarithmic_length"><a href="#val-logarithmic_length" class="anchor"></a><code><span class="keyword">val</span> logarithmic_length : <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../Costlib/CostUtils/BasicCost/index.html#type-t">Costlib.CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-n_log_n_length"><a href="#val-n_log_n_length" class="anchor"></a><code><span class="keyword">val</span> n_log_n_length : <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../Costlib__CostDomain/BasicCost/index.html#type-t">BasicCost.t</a></code></dt></dl></div></body></html>

website/static/odoc/next/infer/Costlib__CostModels/BoundsOfCollection/index.html

@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>BoundsOfCollection (infer.Costlib__CostModels.BoundsOfCollection)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">Costlib__CostModels</a> &#x00BB; BoundsOfCollection</nav><h1>Module <code>Costlib__CostModels.BoundsOfCollection</code></h1></header><dl><dt class="spec value" id="val-of_length"><a href="#val-of_length" class="anchor"></a><code><span class="keyword">val</span> of_length : <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <span>degree_kind:<a href="../../BO__Polynomials/DegreeKind/index.html#type-t">BO__Polynomials.DegreeKind.t</a></span> <span>&#45;&gt;</span> <a href="../../Costlib/CostUtils/BasicCost/index.html#type-t">Costlib.CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-linear_length"><a href="#val-linear_length" class="anchor"></a><code><span class="keyword">val</span> linear_length : <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../Costlib/CostUtils/BasicCost/index.html#type-t">Costlib.CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-logarithmic_length"><a href="#val-logarithmic_length" class="anchor"></a><code><span class="keyword">val</span> logarithmic_length : <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../Costlib/CostUtils/BasicCost/index.html#type-t">Costlib.CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-n_log_n_length"><a href="#val-n_log_n_length" class="anchor"></a><code><span class="keyword">val</span> n_log_n_length : <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../Costlib__CostDomain/BasicCost/index.html#type-t">BasicCost.t</a></code></dt></dl></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>BoundsOfCollection (infer.Costlib__CostModels.BoundsOfCollection)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">Costlib__CostModels</a> &#x00BB; BoundsOfCollection</nav><h1>Module <code>Costlib__CostModels.BoundsOfCollection</code></h1></header><dl><dt class="spec value" id="val-of_length"><a href="#val-of_length" class="anchor"></a><code><span class="keyword">val</span> of_length : <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <span>degree_kind:<a href="../../BO__Polynomials/DegreeKind/index.html#type-t">BO__Polynomials.DegreeKind.t</a></span> <span>&#45;&gt;</span> <a href="../../Costlib/CostUtils/BasicCost/index.html#type-t">Costlib.CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-linear_length"><a href="#val-linear_length" class="anchor"></a><code><span class="keyword">val</span> linear_length : <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../Costlib/CostUtils/BasicCost/index.html#type-t">Costlib.CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-logarithmic_length"><a href="#val-logarithmic_length" class="anchor"></a><code><span class="keyword">val</span> logarithmic_length : <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../Costlib/CostUtils/BasicCost/index.html#type-t">Costlib.CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-n_log_n_length"><a href="#val-n_log_n_length" class="anchor"></a><code><span class="keyword">val</span> n_log_n_length : <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../Costlib__CostDomain/BasicCost/index.html#type-t">BasicCost.t</a></code></dt></dl></div></body></html>

website/static/odoc/next/infer/Costlib__CostModels/BoundsOfNSCollection/index.html

@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>BoundsOfNSCollection (infer.Costlib__CostModels.BoundsOfNSCollection)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">Costlib__CostModels</a> &#x00BB; BoundsOfNSCollection</nav><h1>Module <code>Costlib__CostModels.BoundsOfNSCollection</code></h1></header><dl><dt class="spec value" id="val-of_length"><a href="#val-of_length" class="anchor"></a><code><span class="keyword">val</span> of_length : <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <span>degree_kind:<a href="../../BO__Polynomials/DegreeKind/index.html#type-t">BO__Polynomials.DegreeKind.t</a></span> <span>&#45;&gt;</span> <a href="../../Costlib/CostUtils/BasicCost/index.html#type-t">Costlib.CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-linear_length"><a href="#val-linear_length" class="anchor"></a><code><span class="keyword">val</span> linear_length : <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../Costlib/CostUtils/BasicCost/index.html#type-t">Costlib.CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-logarithmic_length"><a href="#val-logarithmic_length" class="anchor"></a><code><span class="keyword">val</span> logarithmic_length : <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../Costlib/CostUtils/BasicCost/index.html#type-t">Costlib.CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-n_log_n_length"><a href="#val-n_log_n_length" class="anchor"></a><code><span class="keyword">val</span> n_log_n_length : <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../Costlib__CostDomain/BasicCost/index.html#type-t">BasicCost.t</a></code></dt></dl></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>BoundsOfNSCollection (infer.Costlib__CostModels.BoundsOfNSCollection)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">Costlib__CostModels</a> &#x00BB; BoundsOfNSCollection</nav><h1>Module <code>Costlib__CostModels.BoundsOfNSCollection</code></h1></header><dl><dt class="spec value" id="val-of_length"><a href="#val-of_length" class="anchor"></a><code><span class="keyword">val</span> of_length : <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <span>degree_kind:<a href="../../BO__Polynomials/DegreeKind/index.html#type-t">BO__Polynomials.DegreeKind.t</a></span> <span>&#45;&gt;</span> <a href="../../Costlib/CostUtils/BasicCost/index.html#type-t">Costlib.CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-linear_length"><a href="#val-linear_length" class="anchor"></a><code><span class="keyword">val</span> linear_length : <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../Costlib/CostUtils/BasicCost/index.html#type-t">Costlib.CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-logarithmic_length"><a href="#val-logarithmic_length" class="anchor"></a><code><span class="keyword">val</span> logarithmic_length : <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../Costlib/CostUtils/BasicCost/index.html#type-t">Costlib.CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-n_log_n_length"><a href="#val-n_log_n_length" class="anchor"></a><code><span class="keyword">val</span> n_log_n_length : <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../Costlib__CostDomain/BasicCost/index.html#type-t">BasicCost.t</a></code></dt></dl></div></body></html>

website/static/odoc/next/infer/Costlib__CostModels/Call/index.html

@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Call (infer.Costlib__CostModels.Call)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">Costlib__CostModels</a> &#x00BB; Call</nav><h1>Module <code>Costlib__CostModels.Call</code></h1></header><dl><dt class="spec value" id="val-dispatch"><a href="#val-dispatch" class="anchor"></a><code><span class="keyword">val</span> dispatch : <span><span>(<a href="../../IR/Tenv/index.html#type-t">IR.Tenv.t</a>, <a href="../../Costlib/CostUtils/index.html#type-model">Costlib.CostUtils.model</a>, unit)</span> <a href="../../Absint/ProcnameDispatcher/Call/index.html#type-dispatcher">Absint.ProcnameDispatcher.Call.dispatcher</a></span></code></dt></dl></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Call (infer.Costlib__CostModels.Call)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">Costlib__CostModels</a> &#x00BB; Call</nav><h1>Module <code>Costlib__CostModels.Call</code></h1></header><dl><dt class="spec value" id="val-dispatch"><a href="#val-dispatch" class="anchor"></a><code><span class="keyword">val</span> dispatch : <span><span>(<a href="../../IR/Tenv/index.html#type-t">IR.Tenv.t</a>, <span>(<a href="../../IR/Procname/index.html#type-t">IR.Procname.t</a> <span>&#45;&gt;</span> <span><a href="../../Costlib/CostDomain/index.html#type-summary">Costlib.CostDomain.summary</a> option</span>)</span> <span>&#45;&gt;</span> <a href="../../Costlib/CostUtils/index.html#type-model">Costlib.CostUtils.model</a>, unit)</span> <a href="../../Absint/ProcnameDispatcher/Call/index.html#type-dispatcher">Absint.ProcnameDispatcher.Call.dispatcher</a></span></code></dt></dl></div></body></html>

website/static/odoc/next/infer/Costlib__CostModels/ImmutableSet/index.html

@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ImmutableSet (infer.Costlib__CostModels.ImmutableSet)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">Costlib__CostModels</a> &#x00BB; ImmutableSet</nav><h1>Module <code>Costlib__CostModels.ImmutableSet</code></h1></header><dl><dt class="spec value" id="val-construct"><a href="#val-construct" class="anchor"></a><code><span class="keyword">val</span> construct : <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <a href="../../Costlib/CostUtils/BasicCost/index.html#type-t">Costlib.CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-choose_table_size"><a href="#val-choose_table_size" class="anchor"></a><code><span class="keyword">val</span> choose_table_size : <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <a href="../../Costlib/CostUtils/BasicCost/index.html#type-t">Costlib.CostUtils.BasicCost.t</a></code></dt></dl></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ImmutableSet (infer.Costlib__CostModels.ImmutableSet)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">Costlib__CostModels</a> &#x00BB; ImmutableSet</nav><h1>Module <code>Costlib__CostModels.ImmutableSet</code></h1></header><dl><dt class="spec value" id="val-construct"><a href="#val-construct" class="anchor"></a><code><span class="keyword">val</span> construct : <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <a href="../../Costlib/CostUtils/BasicCost/index.html#type-t">Costlib.CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-choose_table_size"><a href="#val-choose_table_size" class="anchor"></a><code><span class="keyword">val</span> choose_table_size : <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <a href="../../Costlib/CostUtils/BasicCost/index.html#type-t">Costlib.CostUtils.BasicCost.t</a></code></dt></dl></div></body></html>

website/static/odoc/next/infer/Costlib__CostModels/IntHashMap/index.html

@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>IntHashMap (infer.Costlib__CostModels.IntHashMap)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">Costlib__CostModels</a> &#x00BB; IntHashMap</nav><h1>Module <code>Costlib__CostModels.IntHashMap</code></h1></header><dl><dt class="spec value" id="val-keys"><a href="#val-keys" class="anchor"></a><code><span class="keyword">val</span> keys : <span><span class="type-var">'a</span> <a href="../../Absint/ProcnameDispatcher/Call/FuncArg/index.html#type-t">Absint.ProcnameDispatcher.Call.FuncArg.t</a></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <a href="../../Costlib/CostUtils/BasicCost/index.html#type-t">Costlib.CostUtils.BasicCost.t</a></code></dt></dl></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>IntHashMap (infer.Costlib__CostModels.IntHashMap)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">Costlib__CostModels</a> &#x00BB; IntHashMap</nav><h1>Module <code>Costlib__CostModels.IntHashMap</code></h1></header><dl><dt class="spec value" id="val-keys"><a href="#val-keys" class="anchor"></a><code><span class="keyword">val</span> keys : <span><span class="type-var">'a</span> <a href="../../Absint/ProcnameDispatcher/Call/FuncArg/index.html#type-t">Absint.ProcnameDispatcher.Call.FuncArg.t</a></span> <span>&#45;&gt;</span> <span class="type-var">'b</span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'c</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <a href="../../Costlib/CostUtils/BasicCost/index.html#type-t">Costlib.CostUtils.BasicCost.t</a></code></dt></dl></div></body></html>

website/static/odoc/next/infer/Costlib__CostModels/NSCollection/index.html

@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>NSCollection (infer.Costlib__CostModels.NSCollection)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">Costlib__CostModels</a> &#x00BB; NSCollection</nav><h1>Module <code>Costlib__CostModels.NSCollection</code></h1></header><dl><dt class="spec value" id="val-get_length"><a href="#val-get_length" class="anchor"></a><code><span class="keyword">val</span> get_length : <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <a href="../../Costlib/CostUtils/BasicCost/index.html#type-t">Costlib.CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-op_on_two_coll"><a href="#val-op_on_two_coll" class="anchor"></a><code><span class="keyword">val</span> op_on_two_coll : <span>(<a href="../../Costlib/CostUtils/BasicCost/index.html#type-t">Costlib.CostUtils.BasicCost.t</a> <span>&#45;&gt;</span> <a href="../../Costlib/CostUtils/BasicCost/index.html#type-t">Costlib.CostUtils.BasicCost.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span>)</span> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span></code></dt></dl></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>NSCollection (infer.Costlib__CostModels.NSCollection)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">Costlib__CostModels</a> &#x00BB; NSCollection</nav><h1>Module <code>Costlib__CostModels.NSCollection</code></h1></header><dl><dt class="spec value" id="val-get_length"><a href="#val-get_length" class="anchor"></a><code><span class="keyword">val</span> get_length : <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <a href="../../Costlib/CostUtils/BasicCost/index.html#type-t">Costlib.CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-op_on_two_coll"><a href="#val-op_on_two_coll" class="anchor"></a><code><span class="keyword">val</span> op_on_two_coll : <span>(<a href="../../Costlib/CostUtils/BasicCost/index.html#type-t">Costlib.CostUtils.BasicCost.t</a> <span>&#45;&gt;</span> <a href="../../Costlib/CostUtils/BasicCost/index.html#type-t">Costlib.CostUtils.BasicCost.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span>)</span> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span class="type-var">'b</span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'c</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span></code></dt><dt class="spec value" id="val-enumerate_using_block"><a href="#val-enumerate_using_block" class="anchor"></a><code><span class="keyword">val</span> enumerate_using_block : <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span>(<a href="../../IR/Procname/index.html#type-t">IR.Procname.t</a> <span>&#45;&gt;</span> <span><a href="../../Costlib/CostDomain/index.html#type-summary">Costlib.CostDomain.summary</a> option</span>)</span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <a href="../../Costlib__CostDomain/BasicCost/index.html#type-t">BasicCost.t</a></code></dt></dl></div></body></html>

website/static/odoc/next/infer/Costlib__CostModels/NSString/index.html

@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>NSString (infer.Costlib__CostModels.NSString)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">Costlib__CostModels</a> &#x00BB; NSString</nav><h1>Module <code>Costlib__CostModels.NSString</code></h1></header><dl><dt class="spec value" id="val-get_length"><a href="#val-get_length" class="anchor"></a><code><span class="keyword">val</span> get_length : <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <a href="../../Costlib/CostUtils/BasicCost/index.html#type-t">Costlib.CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-op_on_two_str"><a href="#val-op_on_two_str" class="anchor"></a><code><span class="keyword">val</span> op_on_two_str : <span>(<a href="../../Costlib/CostUtils/BasicCost/index.html#type-t">Costlib.CostUtils.BasicCost.t</a> <span>&#45;&gt;</span> <a href="../../Costlib/CostUtils/BasicCost/index.html#type-t">Costlib.CostUtils.BasicCost.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span>)</span> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span></code></dt><dt class="spec value" id="val-substring_from_index"><a href="#val-substring_from_index" class="anchor"></a><code><span class="keyword">val</span> substring_from_index : <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <a href="../../Costlib/CostUtils/BasicCost/index.html#type-t">Costlib.CostUtils.BasicCost.t</a></code></dt></dl></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>NSString (infer.Costlib__CostModels.NSString)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">Costlib__CostModels</a> &#x00BB; NSString</nav><h1>Module <code>Costlib__CostModels.NSString</code></h1></header><dl><dt class="spec value" id="val-get_length"><a href="#val-get_length" class="anchor"></a><code><span class="keyword">val</span> get_length : <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <a href="../../Costlib/CostUtils/BasicCost/index.html#type-t">Costlib.CostUtils.BasicCost.t</a></code></dt><dt class="spec value" id="val-op_on_two_str"><a href="#val-op_on_two_str" class="anchor"></a><code><span class="keyword">val</span> op_on_two_str : <span>(<a href="../../Costlib/CostUtils/BasicCost/index.html#type-t">Costlib.CostUtils.BasicCost.t</a> <span>&#45;&gt;</span> <a href="../../Costlib/CostUtils/BasicCost/index.html#type-t">Costlib.CostUtils.BasicCost.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span>)</span> <span>&#45;&gt;</span> <span>of_function:string</span> <span>&#45;&gt;</span> <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span class="type-var">'b</span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'c</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span></code></dt><dt class="spec value" id="val-substring_from_index"><a href="#val-substring_from_index" class="anchor"></a><code><span class="keyword">val</span> substring_from_index : <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunUtils/ModelEnv/index.html#type-model_env">BO.BufferOverrunUtils.ModelEnv.model_env</a> <span>&#45;&gt;</span> <span>ret:<span class="type-var">'b</span></span> <span>&#45;&gt;</span> <a href="../../BO/BufferOverrunDomain/Mem/index.html#type-t">BO.BufferOverrunDomain.Mem.t</a> <span>&#45;&gt;</span> <a href="../../Costlib/CostUtils/BasicCost/index.html#type-t">Costlib.CostUtils.BasicCost.t</a></code></dt></dl></div></body></html>

website/static/odoc/next/infer/IR/Annot/Item/index.html

@@ -1,2 +1,2 @@
 <!DOCTYPE html>
-<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Item (infer.IR.Annot.Item)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../../index.html">infer</a> &#x00BB; <a href="../../index.html">IR</a> &#x00BB; <a href="../index.html">Annot</a> &#x00BB; Item</nav><h1>Module <code>Annot.Item</code></h1></header><dl><dt class="spec type" id="type-t"><a href="#type-t" class="anchor"></a><code><span class="keyword">type</span> <span class="keyword">nonrec</span> t</code><code> = <span><span>(<a href="../index.html#type-t">t</a> * bool)</span> list</span></code></dt><dd><p>Annotation for one item: a list of annotations with visibility.</p></dd></dl><div><div class="spec include"><div class="doc"><dl><dt class="spec value" id="val-compare"><a href="#val-compare" class="anchor"></a><code><span class="keyword">val</span> compare : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> int</code></dt><dt class="spec value" id="val-equal"><a href="#val-equal" class="anchor"></a><code><span class="keyword">val</span> equal : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> bool</code></dt></dl></div></div></div><dl><dt class="spec value" id="val-pp"><a href="#val-pp" class="anchor"></a><code><span class="keyword">val</span> pp : <a href="../index.html#module-F">F</a>.formatter <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> unit</code></dt><dd><p>Pretty print an item annotation.</p></dd></dl><dl><dt class="spec value" id="val-empty"><a href="#val-empty" class="anchor"></a><code><span class="keyword">val</span> empty : <a href="index.html#type-t">t</a></code></dt><dd><p>Empty item annotation.</p></dd></dl><dl><dt class="spec value" id="val-is_final"><a href="#val-is_final" class="anchor"></a><code><span class="keyword">val</span> is_final : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> bool</code></dt><dd><p>Check if final annotation is included in.</p></dd></dl></div></body></html>
+<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Item (infer.IR.Annot.Item)</title><link rel="stylesheet" href="../../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../../../index.html">infer</a> &#x00BB; <a href="../../index.html">IR</a> &#x00BB; <a href="../index.html">Annot</a> &#x00BB; Item</nav><h1>Module <code>Annot.Item</code></h1></header><dl><dt class="spec type" id="type-t"><a href="#type-t" class="anchor"></a><code><span class="keyword">type</span> <span class="keyword">nonrec</span> t</code><code> = <span><span>(<a href="../index.html#type-t">t</a> * bool)</span> list</span></code></dt><dd><p>Annotation for one item: a list of annotations with visibility.</p></dd></dl><div><div class="spec include"><div class="doc"><dl><dt class="spec value" id="val-compare"><a href="#val-compare" class="anchor"></a><code><span class="keyword">val</span> compare : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> int</code></dt><dt class="spec value" id="val-equal"><a href="#val-equal" class="anchor"></a><code><span class="keyword">val</span> equal : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> bool</code></dt></dl></div></div></div><dl><dt class="spec value" id="val-pp"><a href="#val-pp" class="anchor"></a><code><span class="keyword">val</span> pp : <a href="../index.html#module-F">F</a>.formatter <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> unit</code></dt><dd><p>Pretty print an item annotation.</p></dd></dl><dl><dt class="spec value" id="val-empty"><a href="#val-empty" class="anchor"></a><code><span class="keyword">val</span> empty : <a href="index.html#type-t">t</a></code></dt><dd><p>Empty item annotation.</p></dd></dl><dl><dt class="spec value" id="val-is_final"><a href="#val-is_final" class="anchor"></a><code><span class="keyword">val</span> is_final : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> bool</code></dt><dd><p>Check if final annotation is included in.</p></dd></dl><div class="spec module" id="module-Normalizer"><a href="#module-Normalizer" class="anchor"></a><code><span class="keyword">module</span> <a href="Normalizer/index.html">Normalizer</a> : <a href="../../../IStdlib/HashNormalizer/index.html#module-type-S">IStdlib.HashNormalizer.S</a> <span class="keyword">with</span> <span class="keyword">type</span> <a href="../../../IStdlib/HashNormalizer/module-type-S/index.html#type-t">t</a> = <a href="index.html#type-t">t</a></code></div></div></body></html>