"src/oasis/OASISExecutable.ml" 27 1721 1725 "src/oasis/OASISExecutable.ml" 27 1721 1737
type(
  OASISTypes.common_section * OASISTypes.build_section *
  OASISTypes.executable ->
  (unit -> bool) ->
  (unit -> string) ->
  (unit -> string) -> OASISUnixPath.unix_filename * string option
)
ident(
  def unix_exec_is "src/oasis/OASISExecutable.ml" 55 2285 2285 "src/oasis/OASISExecutable.ml" 0 0 -1
)
"src/oasis/OASISExecutable.ml" 27 1721 1739 "src/oasis/OASISExecutable.ml" 27 1721 1741
type(
  OASISTypes.common_section
)
ident(
  def cs "src/oasis/OASISExecutable.ml" 27 1721 1753 "src/oasis/OASISExecutable.ml" 49 2255 2263
)
"src/oasis/OASISExecutable.ml" 27 1721 1743 "src/oasis/OASISExecutable.ml" 27 1721 1745
type(
  OASISTypes.build_section
)
ident(
  def bs "src/oasis/OASISExecutable.ml" 27 1721 1753 "src/oasis/OASISExecutable.ml" 49 2255 2263
)
"src/oasis/OASISExecutable.ml" 27 1721 1747 "src/oasis/OASISExecutable.ml" 27 1721 1751
type(
  OASISTypes.executable
)
ident(
  def exec "src/oasis/OASISExecutable.ml" 27 1721 1753 "src/oasis/OASISExecutable.ml" 49 2255 2263
)
"src/oasis/OASISExecutable.ml" 27 1721 1738 "src/oasis/OASISExecutable.ml" 27 1721 1752
type(
  OASISTypes.common_section * OASISTypes.build_section *
  OASISTypes.executable
)
"src/oasis/OASISExecutable.ml" 27 1721 1753 "src/oasis/OASISExecutable.ml" 27 1721 1762
type(
  unit -> bool
)
ident(
  def is_native "src/oasis/OASISExecutable.ml" 27 1721 1763 "src/oasis/OASISExecutable.ml" 49 2255 2263
)
"src/oasis/OASISExecutable.ml" 27 1721 1763 "src/oasis/OASISExecutable.ml" 27 1721 1770
type(
  unit -> string
)
ident(
  def ext_dll "src/oasis/OASISExecutable.ml" 27 1721 1771 "src/oasis/OASISExecutable.ml" 49 2255 2263
)
"src/oasis/OASISExecutable.ml" 27 1721 1771 "src/oasis/OASISExecutable.ml" 27 1721 1785
type(
  unit -> string
)
ident(
  def suffix_program "src/oasis/OASISExecutable.ml" 28 1788 1790 "src/oasis/OASISExecutable.ml" 49 2255 2263
)
"src/oasis/OASISExecutable.ml" 28 1788 1794 "src/oasis/OASISExecutable.ml" 28 1788 1797
type(
  OASISUnixPath.unix_filename
)
ident(
  def dir "src/oasis/OASISExecutable.ml" 33 1895 1897 "src/oasis/OASISExecutable.ml" 49 2255 2263
)
"src/oasis/OASISExecutable.ml" 29 1800 1804 "src/oasis/OASISExecutable.ml" 29 1800 1824
type(
  OASISUnixPath.unix_filename ->
  OASISUnixPath.unix_filename -> OASISUnixPath.unix_filename
)
ident(
  int_ref OASISUnixPath.concat "src/oasis/OASISUnixPath.mli" 53 2362 2362 "src/oasis/OASISUnixPath.mli" 53 2362 2421
)
"src/oasis/OASISExecutable.ml" 30 1825 1831 "src/oasis/OASISExecutable.ml" 30 1825 1833
type(
  OASISTypes.build_section
)
ident(
  int_ref bs "src/oasis/OASISExecutable.ml" 27 1721 1743 "src/oasis/OASISExecutable.ml" 27 1721 1745
)
"src/oasis/OASISExecutable.ml" 30 1825 1831 "src/oasis/OASISExecutable.ml" 30 1825 1841
type(
  OASISTypes.unix_dirname
)
"src/oasis/OASISExecutable.ml" 31 1842 1849 "src/oasis/OASISExecutable.ml" 31 1842 1870
type(
  OASISUnixPath.unix_filename -> OASISUnixPath.unix_filename
)
ident(
  int_ref OASISUnixPath.dirname "src/oasis/OASISUnixPath.mli" 63 2645 2645 "src/oasis/OASISUnixPath.mli" 63 2645 2688
)
"src/oasis/OASISExecutable.ml" 31 1842 1871 "src/oasis/OASISExecutable.ml" 31 1842 1875
type(
  OASISTypes.executable
)
ident(
  int_ref exec "src/oasis/OASISExecutable.ml" 27 1721 1747 "src/oasis/OASISExecutable.ml" 27 1721 1751
)
"src/oasis/OASISExecutable.ml" 31 1842 1871 "src/oasis/OASISExecutable.ml" 31 1842 1888
type(
  OASISTypes.unix_filename
)
"src/oasis/OASISExecutable.ml" 31 1842 1848 "src/oasis/OASISExecutable.ml" 31 1842 1889
type(
  OASISUnixPath.unix_filename
)
"src/oasis/OASISExecutable.ml" 29 1800 1804 "src/oasis/OASISExecutable.ml" 31 1842 1889
type(
  OASISUnixPath.unix_filename
)
"src/oasis/OASISExecutable.ml" 33 1895 1901 "src/oasis/OASISExecutable.ml" 33 1895 1915
type(
  bool
)
ident(
  def is_native_exec "src/oasis/OASISExecutable.ml" 40 2035 2037 "src/oasis/OASISExecutable.ml" 49 2255 2263
)
"src/oasis/OASISExecutable.ml" 34 1918 1928 "src/oasis/OASISExecutable.ml" 34 1918 1930
type(
  OASISTypes.build_section
)
ident(
  int_ref bs "src/oasis/OASISExecutable.ml" 27 1721 1743 "src/oasis/OASISExecutable.ml" 27 1721 1745
)
"src/oasis/OASISExecutable.ml" 34 1918 1928 "src/oasis/OASISExecutable.ml" 34 1918 1949
type(
  OASISTypes.compiled_object
)
"src/oasis/OASISExecutable.ml" 35 1955 1963 "src/oasis/OASISExecutable.ml" 35 1955 1969
type(
  OASISTypes.compiled_object
)
type(
  OASISTypes.compiled_object
)
"src/oasis/OASISExecutable.ml" 35 1955 1973 "src/oasis/OASISExecutable.ml" 35 1955 1977
type(
  bool
)
"src/oasis/OASISExecutable.ml" 36 1978 1986 "src/oasis/OASISExecutable.ml" 36 1978 1990
type(
  OASISTypes.compiled_object
)
type(
  OASISTypes.compiled_object
)
"src/oasis/OASISExecutable.ml" 36 1978 1994 "src/oasis/OASISExecutable.ml" 36 1978 2003
type(
  unit -> bool
)
ident(
  int_ref is_native "src/oasis/OASISExecutable.ml" 27 1721 1753 "src/oasis/OASISExecutable.ml" 27 1721 1762
)
"src/oasis/OASISExecutable.ml" 36 1978 2004 "src/oasis/OASISExecutable.ml" 36 1978 2006
type(
  unit
)
"src/oasis/OASISExecutable.ml" 36 1978 1994 "src/oasis/OASISExecutable.ml" 36 1978 2006
type(
  bool
)
"src/oasis/OASISExecutable.ml" 37 2007 2015 "src/oasis/OASISExecutable.ml" 37 2007 2019
type(
  OASISTypes.compiled_object
)
type(
  OASISTypes.compiled_object
)
"src/oasis/OASISExecutable.ml" 37 2007 2023 "src/oasis/OASISExecutable.ml" 37 2007 2028
type(
  bool
)
"src/oasis/OASISExecutable.ml" 34 1918 1922 "src/oasis/OASISExecutable.ml" 37 2007 2028
type(
  bool
)
"src/oasis/OASISExecutable.ml" 40 2035 2037 "src/oasis/OASISExecutable.ml" 40 2035 2057
type(
  OASISUnixPath.unix_filename ->
  OASISUnixPath.unix_filename -> OASISUnixPath.unix_filename
)
ident(
  int_ref OASISUnixPath.concat "src/oasis/OASISUnixPath.mli" 53 2362 2362 "src/oasis/OASISUnixPath.mli" 53 2362 2421
)
"src/oasis/OASISExecutable.ml" 41 2058 2062 "src/oasis/OASISExecutable.ml" 41 2058 2065
type(
  OASISUnixPath.unix_filename
)
ident(
  int_ref dir "src/oasis/OASISExecutable.ml" 28 1788 1794 "src/oasis/OASISExecutable.ml" 28 1788 1797
)
"src/oasis/OASISExecutable.ml" 42 2066 2071 "src/oasis/OASISExecutable.ml" 42 2066 2073
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/oasis/OASISExecutable.ml" 27 1721 1739 "src/oasis/OASISExecutable.ml" 27 1721 1741
)
"src/oasis/OASISExecutable.ml" 42 2066 2071 "src/oasis/OASISExecutable.ml" 42 2066 2081
type(
  OASISTypes.name
)
"src/oasis/OASISExecutable.ml" 42 2066 2081 "src/oasis/OASISExecutable.ml" 42 2066 2082
type(
  OASISTypes.name -> string -> OASISUnixPath.unix_filename
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISExecutable.ml" 42 2066 2083 "src/oasis/OASISExecutable.ml" 42 2066 2097
type(
  unit -> string
)
ident(
  int_ref suffix_program "src/oasis/OASISExecutable.ml" 27 1721 1771 "src/oasis/OASISExecutable.ml" 27 1721 1785
)
"src/oasis/OASISExecutable.ml" 42 2066 2098 "src/oasis/OASISExecutable.ml" 42 2066 2100
type(
  unit
)
"src/oasis/OASISExecutable.ml" 42 2066 2082 "src/oasis/OASISExecutable.ml" 42 2066 2101
type(
  string
)
"src/oasis/OASISExecutable.ml" 42 2066 2070 "src/oasis/OASISExecutable.ml" 42 2066 2102
type(
  OASISUnixPath.unix_filename
)
"src/oasis/OASISExecutable.ml" 40 2035 2037 "src/oasis/OASISExecutable.ml" 42 2066 2102
type(
  OASISUnixPath.unix_filename
)
"src/oasis/OASISExecutable.ml" 44 2105 2110 "src/oasis/OASISExecutable.ml" 44 2105 2113
type(
  bool -> bool
)
ident(
  int_ref Stdlib.not "stdlib.mli" 211 8889 8889 "stdlib.mli" 211 8889 8929
)
"src/oasis/OASISExecutable.ml" 44 2105 2114 "src/oasis/OASISExecutable.ml" 44 2105 2128
type(
  bool
)
ident(
  int_ref is_native_exec "src/oasis/OASISExecutable.ml" 33 1895 1901 "src/oasis/OASISExecutable.ml" 33 1895 1915
)
"src/oasis/OASISExecutable.ml" 44 2105 2110 "src/oasis/OASISExecutable.ml" 44 2105 2128
type(
  bool
)
"src/oasis/OASISExecutable.ml" 44 2105 2129 "src/oasis/OASISExecutable.ml" 44 2105 2131
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( && ) "stdlib.mli" 214 8960 8960 "stdlib.mli" 214 8960 9011
)
"src/oasis/OASISExecutable.ml" 45 2132 2137 "src/oasis/OASISExecutable.ml" 45 2132 2140
type(
  bool -> bool
)
ident(
  int_ref Stdlib.not "stdlib.mli" 211 8889 8889 "stdlib.mli" 211 8889 8929
)
"src/oasis/OASISExecutable.ml" 45 2132 2141 "src/oasis/OASISExecutable.ml" 45 2132 2145
type(
  OASISTypes.executable
)
ident(
  int_ref exec "src/oasis/OASISExecutable.ml" 27 1721 1747 "src/oasis/OASISExecutable.ml" 27 1721 1751
)
"src/oasis/OASISExecutable.ml" 45 2132 2141 "src/oasis/OASISExecutable.ml" 45 2132 2157
type(
  bool
)
"src/oasis/OASISExecutable.ml" 45 2132 2137 "src/oasis/OASISExecutable.ml" 45 2132 2157
type(
  bool
)
"src/oasis/OASISExecutable.ml" 45 2132 2158 "src/oasis/OASISExecutable.ml" 45 2132 2160
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( && ) "stdlib.mli" 214 8960 8960 "stdlib.mli" 214 8960 9011
)
"src/oasis/OASISExecutable.ml" 46 2161 2166 "src/oasis/OASISExecutable.ml" 46 2161 2168
type(
  OASISTypes.build_section
)
ident(
  int_ref bs "src/oasis/OASISExecutable.ml" 27 1721 1743 "src/oasis/OASISExecutable.ml" 27 1721 1745
)
"src/oasis/OASISExecutable.ml" 46 2161 2166 "src/oasis/OASISExecutable.ml" 46 2161 2181
type(
  OASISTypes.unix_filename list
)
"src/oasis/OASISExecutable.ml" 46 2161 2182 "src/oasis/OASISExecutable.ml" 46 2161 2184
type(
  OASISTypes.unix_filename list -> OASISTypes.unix_filename list -> bool
)
ident(
  int_ref Stdlib.( <> ) "stdlib.mli" 130 5559 5559 "stdlib.mli" 130 5559 5607
)
"src/oasis/OASISExecutable.ml" 46 2161 2185 "src/oasis/OASISExecutable.ml" 46 2161 2187
type(
  OASISTypes.unix_filename list
)
"src/oasis/OASISExecutable.ml" 46 2161 2166 "src/oasis/OASISExecutable.ml" 46 2161 2187
type(
  bool
)
"src/oasis/OASISExecutable.ml" 45 2132 2137 "src/oasis/OASISExecutable.ml" 46 2161 2187
type(
  bool
)
"src/oasis/OASISExecutable.ml" 44 2105 2110 "src/oasis/OASISExecutable.ml" 46 2161 2187
type(
  bool
)
"src/oasis/OASISExecutable.ml" 47 2193 2203 "src/oasis/OASISExecutable.ml" 47 2193 2206
type(
  OASISUnixPath.unix_filename
)
ident(
  int_ref dir "src/oasis/OASISExecutable.ml" 28 1788 1794 "src/oasis/OASISExecutable.ml" 28 1788 1797
)
"src/oasis/OASISExecutable.ml" 47 2193 2206 "src/oasis/OASISExecutable.ml" 47 2193 2207
type(
  OASISUnixPath.unix_filename -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISExecutable.ml" 47 2193 2207 "src/oasis/OASISExecutable.ml" 47 2193 2213
type(
  string
)
"src/oasis/OASISExecutable.ml" 47 2193 2213 "src/oasis/OASISExecutable.ml" 47 2193 2214
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISExecutable.ml" 47 2193 2214 "src/oasis/OASISExecutable.ml" 47 2193 2216
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/oasis/OASISExecutable.ml" 27 1721 1739 "src/oasis/OASISExecutable.ml" 27 1721 1741
)
"src/oasis/OASISExecutable.ml" 47 2193 2214 "src/oasis/OASISExecutable.ml" 47 2193 2224
type(
  OASISTypes.name
)
"src/oasis/OASISExecutable.ml" 47 2193 2224 "src/oasis/OASISExecutable.ml" 47 2193 2225
type(
  OASISTypes.name -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISExecutable.ml" 47 2193 2225 "src/oasis/OASISExecutable.ml" 47 2193 2233
type(
  string
)
"src/oasis/OASISExecutable.ml" 47 2193 2233 "src/oasis/OASISExecutable.ml" 47 2193 2234
type(
  string -> string -> string
)
ident(
  int_ref Stdlib.( ^ ) "stdlib.mli" 699 26389 26389 "stdlib.mli" 699 26389 26427
)
"src/oasis/OASISExecutable.ml" 47 2193 2235 "src/oasis/OASISExecutable.ml" 47 2193 2242
type(
  unit -> string
)
ident(
  int_ref ext_dll "src/oasis/OASISExecutable.ml" 27 1721 1763 "src/oasis/OASISExecutable.ml" 27 1721 1770
)
"src/oasis/OASISExecutable.ml" 47 2193 2243 "src/oasis/OASISExecutable.ml" 47 2193 2245
type(
  unit
)
"src/oasis/OASISExecutable.ml" 47 2193 2234 "src/oasis/OASISExecutable.ml" 47 2193 2246
type(
  string
)
"src/oasis/OASISExecutable.ml" 47 2193 2225 "src/oasis/OASISExecutable.ml" 47 2193 2246
type(
  string
)
"src/oasis/OASISExecutable.ml" 47 2193 2214 "src/oasis/OASISExecutable.ml" 47 2193 2246
type(
  string
)
"src/oasis/OASISExecutable.ml" 47 2193 2207 "src/oasis/OASISExecutable.ml" 47 2193 2246
type(
  string
)
"src/oasis/OASISExecutable.ml" 47 2193 2202 "src/oasis/OASISExecutable.ml" 47 2193 2247
type(
  string
)
"src/oasis/OASISExecutable.ml" 47 2193 2197 "src/oasis/OASISExecutable.ml" 47 2193 2247
type(
  string option
)
"src/oasis/OASISExecutable.ml" 49 2255 2259 "src/oasis/OASISExecutable.ml" 49 2255 2263
type(
  string option
)
"src/oasis/OASISExecutable.ml" 44 2105 2107 "src/oasis/OASISExecutable.ml" 49 2255 2263
type(
  string option
)
"src/oasis/OASISExecutable.ml" 40 2035 2037 "src/oasis/OASISExecutable.ml" 49 2255 2263
type(
  OASISUnixPath.unix_filename * string option
)
"src/oasis/OASISExecutable.ml" 33 1895 1897 "src/oasis/OASISExecutable.ml" 49 2255 2263
type(
  OASISUnixPath.unix_filename * string option
)
"src/oasis/OASISExecutable.ml" 28 1788 1790 "src/oasis/OASISExecutable.ml" 49 2255 2263
type(
  OASISUnixPath.unix_filename * string option
)
"src/oasis/OASISExecutable.ml" 55 2285 2289 "src/oasis/OASISExecutable.ml" 55 2285 2295
type(
  (OASISTypes.common_section * OASISTypes.build_section *
   OASISTypes.executable)
  OASISSchema_intern.t
)
ident(
  def schema "src/oasis/OASISExecutable.ml" 55 2285 2327 "src/oasis/OASISExecutable.ml" 0 0 -1
)
"src/oasis/OASISExecutable.ml" 55 2285 2298 "src/oasis/OASISExecutable.ml" 55 2285 2327
type(
  (OASISTypes.common_section * OASISTypes.build_section *
   OASISTypes.executable)
  OASISSchema_intern.t
)
ident(
  int_ref OASISExecutable_intern.schema "src/oasis/OASISExecutable_intern.ml" 37 1885 1889 "src/oasis/OASISExecutable_intern.ml" 37 1885 1895
)
