"src/cli/CLICommon.ml" 31 1749 1753 "src/cli/CLICommon.ml" 31 1749 1768
type(
  (unit ->
   ((string * Arg.spec * string) list * 'a) *
   (ctxt:'b -> OASISTypes.host_filename -> 'c)) ->
  unit -> ((string * Arg.spec * string) list * 'a) * (ctxt:'b -> 'c)
)
ident(
  def define_oasis_fn "src/cli/CLICommon.ml" 45 2045 2045 "src/cli/CLICommon.ml" 0 0 -1
)
"src/cli/CLICommon.ml" 31 1749 1769 "src/cli/CLICommon.ml" 31 1749 1770
type(
  unit ->
  ((string * Arg.spec * string) list * 'a) *
  (ctxt:'b -> OASISTypes.host_filename -> 'c)
)
ident(
  def f "src/cli/CLICommon.ml" 31 1749 1771 "src/cli/CLICommon.ml" 42 2007 2042
)
"src/cli/CLICommon.ml" 31 1749 1771 "src/cli/CLICommon.ml" 31 1749 1773
type(
  unit
)
"src/cli/CLICommon.ml" 32 1776 1782 "src/cli/CLICommon.ml" 32 1776 1790
type(
  OASISTypes.host_filename ref
)
ident(
  def oasis_fn "src/cli/CLICommon.ml" 33 1828 1830 "src/cli/CLICommon.ml" 42 2007 2042
)
"src/cli/CLICommon.ml" 32 1776 1793 "src/cli/CLICommon.ml" 32 1776 1796
type(
  OASISTypes.host_filename -> OASISTypes.host_filename ref
)
ident(
  int_ref Stdlib.ref "stdlib.mli" 1227 46636 46636 "stdlib.mli" 1227 46636 46680
)
"src/cli/CLICommon.ml" 32 1776 1797 "src/cli/CLICommon.ml" 32 1776 1824
type(
  OASISTypes.host_filename
)
ident(
  int_ref OASISParse.default_oasis_fn "src/oasis/OASISParse.mli" 35 1852 1852 "src/oasis/OASISParse.mli" 35 1852 1887
)
"src/cli/CLICommon.ml" 32 1776 1793 "src/cli/CLICommon.ml" 32 1776 1824
type(
  OASISTypes.host_filename ref
)
"src/cli/CLICommon.ml" 33 1828 1834 "src/cli/CLICommon.ml" 33 1828 1840
type(
  string * Arg.spec * string
)
ident(
  def specs' "src/cli/CLICommon.ml" 38 1924 1926 "src/cli/CLICommon.ml" 42 2007 2042
)
"src/cli/CLICommon.ml" 34 1843 1847 "src/cli/CLICommon.ml" 34 1843 1855
type(
  string
)
"src/cli/CLICommon.ml" 35 1857 1876 "src/cli/CLICommon.ml" 35 1857 1884
type(
  OASISTypes.host_filename ref
)
ident(
  int_ref oasis_fn "src/cli/CLICommon.ml" 32 1776 1782 "src/cli/CLICommon.ml" 32 1776 1790
)
"src/cli/CLICommon.ml" 35 1857 1861 "src/cli/CLICommon.ml" 35 1857 1884
type(
  Arg.spec
)
"src/cli/CLICommon.ml" 36 1886 1890 "src/cli/CLICommon.ml" 36 1886 1892
type(
  string -> string
)
ident(
  int_ref OASISGettext.s_ "src/oasis/OASISGettext.mli" 41 2219 2219 "src/oasis/OASISGettext.mli" 41 2219 2243
)
"src/cli/CLICommon.ml" 36 1886 1893 "src/cli/CLICommon.ml" 36 1886 1917
type(
  string
)
"src/cli/CLICommon.ml" 36 1886 1890 "src/cli/CLICommon.ml" 36 1886 1917
type(
  string
)
"src/cli/CLICommon.ml" 34 1843 1847 "src/cli/CLICommon.ml" 36 1886 1917
type(
  string * Arg.spec * string
)
"src/cli/CLICommon.ml" 38 1924 1930 "src/cli/CLICommon.ml" 38 1924 1934
type(
  (ctxt:'d -> OASISTypes.host_filename -> 'e) -> ctxt:'d -> 'e
)
ident(
  def wrap "src/cli/CLICommon.ml" 41 1972 1974 "src/cli/CLICommon.ml" 42 2007 2042
)
"src/cli/CLICommon.ml" 38 1924 1935 "src/cli/CLICommon.ml" 38 1924 1936
type(
  ctxt:'d -> OASISTypes.host_filename -> 'e
)
ident(
  def g "src/cli/CLICommon.ml" 38 1924 1937 "src/cli/CLICommon.ml" 39 1945 1966
)
"src/cli/CLICommon.ml" 38 1924 1938 "src/cli/CLICommon.ml" 38 1924 1942
type(
  'd
)
ident(
  def ctxt "src/cli/CLICommon.ml" 39 1945 1949 "src/cli/CLICommon.ml" 39 1945 1966
)
"src/cli/CLICommon.ml" 39 1945 1949 "src/cli/CLICommon.ml" 39 1945 1950
type(
  ctxt:'d -> OASISTypes.host_filename -> 'e
)
ident(
  int_ref g "src/cli/CLICommon.ml" 38 1924 1935 "src/cli/CLICommon.ml" 38 1924 1936
)
"src/cli/CLICommon.ml" 39 1945 1952 "src/cli/CLICommon.ml" 39 1945 1956
type(
  'd
)
ident(
  int_ref ctxt "src/cli/CLICommon.ml" 38 1924 1938 "src/cli/CLICommon.ml" 38 1924 1942
)
"src/cli/CLICommon.ml" 39 1945 1957 "src/cli/CLICommon.ml" 39 1945 1958
type(
  OASISTypes.host_filename ref -> OASISTypes.host_filename
)
ident(
  int_ref Stdlib.( ! ) "stdlib.mli" 1230 46742 46742 "stdlib.mli" 1230 46742 46783
)
"src/cli/CLICommon.ml" 39 1945 1958 "src/cli/CLICommon.ml" 39 1945 1966
type(
  OASISTypes.host_filename ref
)
ident(
  int_ref oasis_fn "src/cli/CLICommon.ml" 32 1776 1782 "src/cli/CLICommon.ml" 32 1776 1790
)
"src/cli/CLICommon.ml" 39 1945 1957 "src/cli/CLICommon.ml" 39 1945 1966
type(
  OASISTypes.host_filename
)
"src/cli/CLICommon.ml" 39 1945 1949 "src/cli/CLICommon.ml" 39 1945 1966
type(
  'e
)
"src/cli/CLICommon.ml" 41 1972 1979 "src/cli/CLICommon.ml" 41 1972 1984
type(
  (string * Arg.spec * string) list
)
ident(
  def specs "src/cli/CLICommon.ml" 42 2007 2009 "src/cli/CLICommon.ml" 42 2007 2042
)
"src/cli/CLICommon.ml" 41 1972 1986 "src/cli/CLICommon.ml" 41 1972 1990
type(
  'a
)
ident(
  def anon "src/cli/CLICommon.ml" 42 2007 2009 "src/cli/CLICommon.ml" 42 2007 2042
)
"src/cli/CLICommon.ml" 41 1972 1978 "src/cli/CLICommon.ml" 41 1972 1991
type(
  (string * Arg.spec * string) list * 'a
)
"src/cli/CLICommon.ml" 41 1972 1993 "src/cli/CLICommon.ml" 41 1972 1996
type(
  ctxt:'b -> OASISTypes.host_filename -> 'c
)
ident(
  def run "src/cli/CLICommon.ml" 42 2007 2009 "src/cli/CLICommon.ml" 42 2007 2042
)
"src/cli/CLICommon.ml" 41 1972 1978 "src/cli/CLICommon.ml" 41 1972 1996
type(
  ((string * Arg.spec * string) list * 'a) *
  (ctxt:'b -> OASISTypes.host_filename -> 'c)
)
"src/cli/CLICommon.ml" 41 1972 1999 "src/cli/CLICommon.ml" 41 1972 2000
type(
  unit ->
  ((string * Arg.spec * string) list * 'a) *
  (ctxt:'b -> OASISTypes.host_filename -> 'c)
)
ident(
  int_ref f "src/cli/CLICommon.ml" 31 1749 1769 "src/cli/CLICommon.ml" 31 1749 1770
)
"src/cli/CLICommon.ml" 41 1972 2001 "src/cli/CLICommon.ml" 41 1972 2003
type(
  unit
)
"src/cli/CLICommon.ml" 41 1972 1999 "src/cli/CLICommon.ml" 41 1972 2003
type(
  ((string * Arg.spec * string) list * 'a) *
  (ctxt:'b -> OASISTypes.host_filename -> 'c)
)
"src/cli/CLICommon.ml" 42 2007 2010 "src/cli/CLICommon.ml" 42 2007 2016
type(
  string * Arg.spec * string
)
ident(
  int_ref specs' "src/cli/CLICommon.ml" 33 1828 1834 "src/cli/CLICommon.ml" 33 1828 1840
)
"src/cli/CLICommon.ml" 42 2007 2020 "src/cli/CLICommon.ml" 42 2007 2025
type(
  (string * Arg.spec * string) list
)
ident(
  int_ref specs "src/cli/CLICommon.ml" 41 1972 1979 "src/cli/CLICommon.ml" 41 1972 1984
)
"src/cli/CLICommon.ml" 42 2007 2010 "src/cli/CLICommon.ml" 42 2007 2025
type(
  (string * Arg.spec * string) list
)
"src/cli/CLICommon.ml" 42 2007 2027 "src/cli/CLICommon.ml" 42 2007 2031
type(
  'a
)
ident(
  int_ref anon "src/cli/CLICommon.ml" 41 1972 1986 "src/cli/CLICommon.ml" 41 1972 1990
)
"src/cli/CLICommon.ml" 42 2007 2009 "src/cli/CLICommon.ml" 42 2007 2032
type(
  (string * Arg.spec * string) list * 'a
)
"src/cli/CLICommon.ml" 42 2007 2034 "src/cli/CLICommon.ml" 42 2007 2038
type(
  (ctxt:'b -> OASISTypes.host_filename -> 'c) -> ctxt:'b -> 'c
)
ident(
  int_ref wrap "src/cli/CLICommon.ml" 38 1924 1930 "src/cli/CLICommon.ml" 38 1924 1934
)
"src/cli/CLICommon.ml" 42 2007 2039 "src/cli/CLICommon.ml" 42 2007 2042
type(
  ctxt:'b -> OASISTypes.host_filename -> 'c
)
ident(
  int_ref run "src/cli/CLICommon.ml" 41 1972 1993 "src/cli/CLICommon.ml" 41 1972 1996
)
"src/cli/CLICommon.ml" 42 2007 2034 "src/cli/CLICommon.ml" 42 2007 2042
type(
  ctxt:'b -> 'c
)
"src/cli/CLICommon.ml" 42 2007 2009 "src/cli/CLICommon.ml" 42 2007 2042
type(
  ((string * Arg.spec * string) list * 'a) * (ctxt:'b -> 'c)
)
"src/cli/CLICommon.ml" 41 1972 1974 "src/cli/CLICommon.ml" 42 2007 2042
type(
  ((string * Arg.spec * string) list * 'a) * (ctxt:'b -> 'c)
)
"src/cli/CLICommon.ml" 38 1924 1926 "src/cli/CLICommon.ml" 42 2007 2042
type(
  ((string * Arg.spec * string) list * 'a) * (ctxt:'b -> 'c)
)
"src/cli/CLICommon.ml" 33 1828 1830 "src/cli/CLICommon.ml" 42 2007 2042
type(
  ((string * Arg.spec * string) list * 'a) * (ctxt:'b -> 'c)
)
"src/cli/CLICommon.ml" 32 1776 1778 "src/cli/CLICommon.ml" 42 2007 2042
type(
  ((string * Arg.spec * string) list * 'a) * (ctxt:'b -> 'c)
)
"src/cli/CLICommon.ml" 45 2045 2049 "src/cli/CLICommon.ml" 45 2045 2063
type(
  (unit ->
   ((string * Arg.spec * string) list * 'a) *
   (ctxt:OASISContext.t ->
    OASISTypes.host_filename -> OASISTypes.package -> 'b)) ->
  unit ->
  ((string * Arg.spec * string) list * 'a) * (ctxt:OASISContext.t -> 'b)
)
ident(
  def parse_oasis_fn "src/cli/CLICommon.ml" 53 2256 2287 "src/cli/CLICommon.ml" 0 0 -1
)
"src/cli/CLICommon.ml" 45 2045 2064 "src/cli/CLICommon.ml" 45 2045 2065
type(
  unit ->
  ((string * Arg.spec * string) list * 'a) *
  (ctxt:OASISContext.t ->
   OASISTypes.host_filename -> OASISTypes.package -> 'b)
)
ident(
  def f "src/cli/CLICommon.ml" 46 2068 2070 "src/cli/CLICommon.ml" 53 2256 2287
)
"src/cli/CLICommon.ml" 46 2068 2070 "src/cli/CLICommon.ml" 46 2068 2085
type(
  (unit ->
   ((string * Arg.spec * string) list * 'a) *
   (ctxt:OASISContext.t -> OASISTypes.host_filename -> 'b)) ->
  unit ->
  ((string * Arg.spec * string) list * 'a) * (ctxt:OASISContext.t -> 'b)
)
ident(
  int_ref define_oasis_fn "src/cli/CLICommon.ml" 31 1749 1753 "src/cli/CLICommon.ml" 31 1749 1768
)
"src/cli/CLICommon.ml" 47 2086 2095 "src/cli/CLICommon.ml" 47 2086 2097
type(
  unit
)
"src/cli/CLICommon.ml" 48 2101 2112 "src/cli/CLICommon.ml" 48 2101 2116
type(
  (ctxt:OASISContext.t ->
   OASISTypes.host_filename -> OASISTypes.package -> 'c) ->
  ctxt:OASISContext.t -> OASISTypes.host_filename -> 'c
)
ident(
  def wrap "src/cli/CLICommon.ml" 52 2216 2223 "src/cli/CLICommon.ml" 53 2256 2286
)
"src/cli/CLICommon.ml" 48 2101 2117 "src/cli/CLICommon.ml" 48 2101 2118
type(
  ctxt:OASISContext.t -> OASISTypes.host_filename -> OASISTypes.package -> 'c
)
ident(
  def g "src/cli/CLICommon.ml" 48 2101 2119 "src/cli/CLICommon.ml" 50 2182 2205
)
"src/cli/CLICommon.ml" 48 2101 2120 "src/cli/CLICommon.ml" 48 2101 2124
type(
  OASISContext.t
)
ident(
  def ctxt "src/cli/CLICommon.ml" 48 2101 2125 "src/cli/CLICommon.ml" 50 2182 2205
)
"src/cli/CLICommon.ml" 48 2101 2125 "src/cli/CLICommon.ml" 48 2101 2127
type(
  OASISTypes.host_filename
)
ident(
  def fn "src/cli/CLICommon.ml" 49 2130 2139 "src/cli/CLICommon.ml" 50 2182 2205
)
"src/cli/CLICommon.ml" 49 2130 2143 "src/cli/CLICommon.ml" 49 2130 2146
type(
  OASISTypes.package
)
ident(
  def pkg "src/cli/CLICommon.ml" 50 2182 2191 "src/cli/CLICommon.ml" 50 2182 2205
)
"src/cli/CLICommon.ml" 49 2130 2149 "src/cli/CLICommon.ml" 49 2130 2169
type(
  ctxt:OASISContext.t -> OASISTypes.host_filename -> OASISTypes.package
)
ident(
  int_ref OASISParse.from_file "src/oasis/OASISParse.mli" 50 2207 2207 "src/oasis/OASISParse.mli" 53 2266 2275
)
"src/cli/CLICommon.ml" 49 2130 2171 "src/cli/CLICommon.ml" 49 2130 2175
type(
  OASISContext.t
)
ident(
  int_ref ctxt "src/cli/CLICommon.ml" 48 2101 2120 "src/cli/CLICommon.ml" 48 2101 2124
)
"src/cli/CLICommon.ml" 49 2130 2176 "src/cli/CLICommon.ml" 49 2130 2178
type(
  OASISTypes.host_filename
)
ident(
  int_ref fn "src/cli/CLICommon.ml" 48 2101 2125 "src/cli/CLICommon.ml" 48 2101 2127
)
"src/cli/CLICommon.ml" 49 2130 2149 "src/cli/CLICommon.ml" 49 2130 2178
type(
  OASISTypes.package
)
"src/cli/CLICommon.ml" 50 2182 2191 "src/cli/CLICommon.ml" 50 2182 2192
type(
  ctxt:OASISContext.t -> OASISTypes.host_filename -> OASISTypes.package -> 'c
)
ident(
  int_ref g "src/cli/CLICommon.ml" 48 2101 2117 "src/cli/CLICommon.ml" 48 2101 2118
)
"src/cli/CLICommon.ml" 50 2182 2194 "src/cli/CLICommon.ml" 50 2182 2198
type(
  OASISContext.t
)
ident(
  int_ref ctxt "src/cli/CLICommon.ml" 48 2101 2120 "src/cli/CLICommon.ml" 48 2101 2124
)
"src/cli/CLICommon.ml" 50 2182 2199 "src/cli/CLICommon.ml" 50 2182 2201
type(
  OASISTypes.host_filename
)
ident(
  int_ref fn "src/cli/CLICommon.ml" 48 2101 2125 "src/cli/CLICommon.ml" 48 2101 2127
)
"src/cli/CLICommon.ml" 50 2182 2202 "src/cli/CLICommon.ml" 50 2182 2205
type(
  OASISTypes.package
)
ident(
  int_ref pkg "src/cli/CLICommon.ml" 49 2130 2143 "src/cli/CLICommon.ml" 49 2130 2146
)
"src/cli/CLICommon.ml" 50 2182 2191 "src/cli/CLICommon.ml" 50 2182 2205
type(
  'c
)
"src/cli/CLICommon.ml" 49 2130 2139 "src/cli/CLICommon.ml" 50 2182 2205
type(
  'c
)
"src/cli/CLICommon.ml" 52 2216 2228 "src/cli/CLICommon.ml" 52 2216 2233
type(
  (string * Arg.spec * string) list
)
ident(
  def specs "src/cli/CLICommon.ml" 53 2256 2263 "src/cli/CLICommon.ml" 53 2256 2286
)
"src/cli/CLICommon.ml" 52 2216 2235 "src/cli/CLICommon.ml" 52 2216 2239
type(
  'a
)
ident(
  def anon "src/cli/CLICommon.ml" 53 2256 2263 "src/cli/CLICommon.ml" 53 2256 2286
)
"src/cli/CLICommon.ml" 52 2216 2227 "src/cli/CLICommon.ml" 52 2216 2240
type(
  (string * Arg.spec * string) list * 'a
)
"src/cli/CLICommon.ml" 52 2216 2242 "src/cli/CLICommon.ml" 52 2216 2245
type(
  ctxt:OASISContext.t -> OASISTypes.host_filename -> OASISTypes.package -> 'b
)
ident(
  def run "src/cli/CLICommon.ml" 53 2256 2263 "src/cli/CLICommon.ml" 53 2256 2286
)
"src/cli/CLICommon.ml" 52 2216 2227 "src/cli/CLICommon.ml" 52 2216 2245
type(
  ((string * Arg.spec * string) list * 'a) *
  (ctxt:OASISContext.t ->
   OASISTypes.host_filename -> OASISTypes.package -> 'b)
)
"src/cli/CLICommon.ml" 52 2216 2248 "src/cli/CLICommon.ml" 52 2216 2249
type(
  unit ->
  ((string * Arg.spec * string) list * 'a) *
  (ctxt:OASISContext.t ->
   OASISTypes.host_filename -> OASISTypes.package -> 'b)
)
ident(
  int_ref f "src/cli/CLICommon.ml" 45 2045 2064 "src/cli/CLICommon.ml" 45 2045 2065
)
"src/cli/CLICommon.ml" 52 2216 2250 "src/cli/CLICommon.ml" 52 2216 2252
type(
  unit
)
"src/cli/CLICommon.ml" 52 2216 2248 "src/cli/CLICommon.ml" 52 2216 2252
type(
  ((string * Arg.spec * string) list * 'a) *
  (ctxt:OASISContext.t ->
   OASISTypes.host_filename -> OASISTypes.package -> 'b)
)
"src/cli/CLICommon.ml" 53 2256 2264 "src/cli/CLICommon.ml" 53 2256 2269
type(
  (string * Arg.spec * string) list
)
ident(
  int_ref specs "src/cli/CLICommon.ml" 52 2216 2228 "src/cli/CLICommon.ml" 52 2216 2233
)
"src/cli/CLICommon.ml" 53 2256 2271 "src/cli/CLICommon.ml" 53 2256 2275
type(
  'a
)
ident(
  int_ref anon "src/cli/CLICommon.ml" 52 2216 2235 "src/cli/CLICommon.ml" 52 2216 2239
)
"src/cli/CLICommon.ml" 53 2256 2263 "src/cli/CLICommon.ml" 53 2256 2276
type(
  (string * Arg.spec * string) list * 'a
)
"src/cli/CLICommon.ml" 53 2256 2278 "src/cli/CLICommon.ml" 53 2256 2282
type(
  (ctxt:OASISContext.t ->
   OASISTypes.host_filename -> OASISTypes.package -> 'b) ->
  ctxt:OASISContext.t -> OASISTypes.host_filename -> 'b
)
ident(
  int_ref wrap "src/cli/CLICommon.ml" 48 2101 2112 "src/cli/CLICommon.ml" 48 2101 2116
)
"src/cli/CLICommon.ml" 53 2256 2283 "src/cli/CLICommon.ml" 53 2256 2286
type(
  ctxt:OASISContext.t -> OASISTypes.host_filename -> OASISTypes.package -> 'b
)
ident(
  int_ref run "src/cli/CLICommon.ml" 52 2216 2242 "src/cli/CLICommon.ml" 52 2216 2245
)
"src/cli/CLICommon.ml" 53 2256 2278 "src/cli/CLICommon.ml" 53 2256 2286
type(
  ctxt:OASISContext.t -> OASISTypes.host_filename -> 'b
)
"src/cli/CLICommon.ml" 53 2256 2263 "src/cli/CLICommon.ml" 53 2256 2286
type(
  ((string * Arg.spec * string) list * 'a) *
  (ctxt:OASISContext.t -> OASISTypes.host_filename -> 'b)
)
"src/cli/CLICommon.ml" 52 2216 2223 "src/cli/CLICommon.ml" 53 2256 2286
type(
  ((string * Arg.spec * string) list * 'a) *
  (ctxt:OASISContext.t -> OASISTypes.host_filename -> 'b)
)
"src/cli/CLICommon.ml" 48 2101 2108 "src/cli/CLICommon.ml" 53 2256 2286
type(
  ((string * Arg.spec * string) list * 'a) *
  (ctxt:OASISContext.t -> OASISTypes.host_filename -> 'b)
)
"src/cli/CLICommon.ml" 47 2086 2090 "src/cli/CLICommon.ml" 53 2256 2287
type(
  unit ->
  ((string * Arg.spec * string) list * 'a) *
  (ctxt:OASISContext.t -> OASISTypes.host_filename -> 'b)
)
"src/cli/CLICommon.ml" 46 2068 2070 "src/cli/CLICommon.ml" 53 2256 2287
type(
  unit ->
  ((string * Arg.spec * string) list * 'a) * (ctxt:OASISContext.t -> 'b)
)
