liboasis-ocaml-dev 0.4.10-2build1 / usr / lib / ocaml / oasis / BaseCustom.annot

"src/base/BaseCustom.ml" 30 1769 1773 "src/base/BaseCustom.ml" 30 1769 1776
type(
  string -> string list -> string array -> unit
)
ident(
  def run "src/base/BaseCustom.ml" 38 1954 1954 "src/base/BaseCustom.ml" 1 0 -1
)
"src/base/BaseCustom.ml" 30 1769 1777 "src/base/BaseCustom.ml" 30 1769 1780
type(
  string
)
ident(
  def cmd "src/base/BaseCustom.ml" 30 1769 1781 "src/base/BaseCustom.ml" 35 1908 1951
)
"src/base/BaseCustom.ml" 30 1769 1781 "src/base/BaseCustom.ml" 30 1769 1785
type(
  string list
)
ident(
  def args "src/base/BaseCustom.ml" 30 1769 1786 "src/base/BaseCustom.ml" 35 1908 1951
)
"src/base/BaseCustom.ml" 30 1769 1786 "src/base/BaseCustom.ml" 30 1769 1796
type(
  string array
)
ident(
  def extra_args "src/base/BaseCustom.ml" 31 1799 1801 "src/base/BaseCustom.ml" 35 1908 1951
)
"src/base/BaseCustom.ml" 31 1799 1801 "src/base/BaseCustom.ml" 31 1799 1814
type(
  ctxt:OASISContext.t ->
  ?f_exit_code:(int -> unit) ->
  ?quote:bool -> OASISTypes.prog -> OASISTypes.args -> unit
)
ident(
  ext_ref OASISExec.run
)
"src/base/BaseCustom.ml" 31 1799 1821 "src/base/BaseCustom.ml" 31 1799 1822
type(
  OASISContext.t ref -> OASISContext.t
)
ident(
  ext_ref Pervasives.( ! )
)
"src/base/BaseCustom.ml" 31 1799 1822 "src/base/BaseCustom.ml" 31 1799 1841
type(
  OASISContext.t ref
)
ident(
  ext_ref BaseContext.default
)
"src/base/BaseCustom.ml" 31 1799 1821 "src/base/BaseCustom.ml" 31 1799 1841
type(
  OASISContext.t
)
"src/base/BaseCustom.ml" 31 1799 1849 "src/base/BaseCustom.ml" 31 1799 1854
type(
  bool
)
"src/base/BaseCustom.ml" 32 1855 1860 "src/base/BaseCustom.ml" 32 1855 1870
type(
  string -> OASISTypes.prog
)
ident(
  ext_ref BaseEnv.var_expand
)
"src/base/BaseCustom.ml" 32 1855 1871 "src/base/BaseCustom.ml" 32 1855 1874
type(
  string
)
ident(
  int_ref cmd "src/base/BaseCustom.ml" 30 1769 1777 "src/base/BaseCustom.ml" 30 1769 1780
)
"src/base/BaseCustom.ml" 32 1855 1859 "src/base/BaseCustom.ml" 32 1855 1875
call(
  stack
)
type(
  OASISTypes.prog
)
"src/base/BaseCustom.ml" 33 1876 1881 "src/base/BaseCustom.ml" 33 1876 1889
type(
  (string -> OASISTypes.arg) -> string list -> OASISTypes.args
)
ident(
  ext_ref List.map
)
"src/base/BaseCustom.ml" 34 1890 1897 "src/base/BaseCustom.ml" 34 1890 1907
type(
  string -> OASISTypes.arg
)
ident(
  ext_ref BaseEnv.var_expand
)
"src/base/BaseCustom.ml" 35 1908 1916 "src/base/BaseCustom.ml" 35 1908 1920
type(
  string list
)
ident(
  int_ref args "src/base/BaseCustom.ml" 30 1769 1781 "src/base/BaseCustom.ml" 30 1769 1785
)
"src/base/BaseCustom.ml" 35 1908 1921 "src/base/BaseCustom.ml" 35 1908 1922
type(
  string list -> string list -> string list
)
ident(
  ext_ref Pervasives.( @ )
)
"src/base/BaseCustom.ml" 35 1908 1924 "src/base/BaseCustom.ml" 35 1908 1937
type(
  string array -> string list
)
ident(
  ext_ref Array.to_list
)
"src/base/BaseCustom.ml" 35 1908 1938 "src/base/BaseCustom.ml" 35 1908 1948
type(
  string array
)
ident(
  int_ref extra_args "src/base/BaseCustom.ml" 30 1769 1786 "src/base/BaseCustom.ml" 30 1769 1796
)
"src/base/BaseCustom.ml" 35 1908 1923 "src/base/BaseCustom.ml" 35 1908 1949
call(
  stack
)
type(
  string list
)
"src/base/BaseCustom.ml" 35 1908 1915 "src/base/BaseCustom.ml" 35 1908 1950
call(
  stack
)
type(
  string list
)
"src/base/BaseCustom.ml" 33 1876 1880 "src/base/BaseCustom.ml" 35 1908 1951
call(
  stack
)
type(
  OASISTypes.args
)
"src/base/BaseCustom.ml" 31 1799 1801 "src/base/BaseCustom.ml" 35 1908 1951
call(
  tail
)
type(
  unit
)
"src/base/BaseCustom.ml" 38 1954 1958 "src/base/BaseCustom.ml" 38 1954 1962
type(
  ?failsafe:bool -> OASISTypes.custom -> ('a -> 'b) -> 'a -> 'b
)
ident(
  def hook "src/base/BaseCustom.ml" 70 2754 2759 "src/base/BaseCustom.ml" 1 0 -1
)
"src/base/BaseCustom.ml" 38 1954 1965 "src/base/BaseCustom.ml" 38 1954 1973
type(
  bool
)
"src/base/BaseCustom.ml" 38 1954 1974 "src/base/BaseCustom.ml" 38 1954 1979
type(
  bool
)
type(
  bool
)
ident(
  int_ref *sth* "src/base/BaseCustom.ml" 38 1954 1974 "src/base/BaseCustom.ml" 38 1954 1979
)
type(
  bool option
)
type(
  bool option
)
type(
  bool
)
"src/base/BaseCustom.ml" 38 1954 1981 "src/base/BaseCustom.ml" 38 1954 1985
type(
  OASISTypes.custom
)
ident(
  def cstm "src/base/BaseCustom.ml" 38 1954 1986 "src/base/BaseCustom.ml" 70 2754 2759
)
"src/base/BaseCustom.ml" 38 1954 1986 "src/base/BaseCustom.ml" 38 1954 1987
type(
  'a -> 'b
)
ident(
  def f "src/base/BaseCustom.ml" 38 1954 1988 "src/base/BaseCustom.ml" 70 2754 2759
)
"src/base/BaseCustom.ml" 38 1954 1988 "src/base/BaseCustom.ml" 38 1954 1989
type(
  'a
)
ident(
  def e "src/base/BaseCustom.ml" 39 1992 1994 "src/base/BaseCustom.ml" 70 2754 2759
)
"src/base/BaseCustom.ml" 39 1992 1998 "src/base/BaseCustom.ml" 39 1992 2014
type(
  (string * string list) option OASISExpr.choices -> unit
)
ident(
  def optional_command "src/base/BaseCustom.ml" 65 2652 2654 "src/base/BaseCustom.ml" 70 2754 2759
)
"src/base/BaseCustom.ml" 39 1992 2015 "src/base/BaseCustom.ml" 39 1992 2018
type(
  (string * string list) option OASISExpr.choices
)
ident(
  def lst "src/base/BaseCustom.ml" 40 2021 2025 "src/base/BaseCustom.ml" 63 2636 2646
)
"src/base/BaseCustom.ml" 40 2021 2029 "src/base/BaseCustom.ml" 40 2021 2036
type(
  (string * string list) option -> string
)
ident(
  def printer "src/base/BaseCustom.ml" 45 2157 2161 "src/base/BaseCustom.ml" 63 2636 2646
)
"src/base/BaseCustom.ml" 42 2054 2070 "src/base/BaseCustom.ml" 42 2054 2073
type(
  string
)
ident(
  def cmd "src/base/BaseCustom.ml" 42 2054 2084 "src/base/BaseCustom.ml" 42 2054 2115
)
"src/base/BaseCustom.ml" 42 2054 2075 "src/base/BaseCustom.ml" 42 2054 2079
type(
  string list
)
ident(
  def args "src/base/BaseCustom.ml" 42 2054 2084 "src/base/BaseCustom.ml" 42 2054 2115
)
"src/base/BaseCustom.ml" 42 2054 2069 "src/base/BaseCustom.ml" 42 2054 2080
type(
  string * string list
)
"src/base/BaseCustom.ml" 42 2054 2064 "src/base/BaseCustom.ml" 42 2054 2080
type(
  (string * string list) option
)
"src/base/BaseCustom.ml" 42 2054 2084 "src/base/BaseCustom.ml" 42 2054 2097
type(
  string -> string list -> string
)
ident(
  ext_ref String.concat
)
"src/base/BaseCustom.ml" 42 2054 2098 "src/base/BaseCustom.ml" 42 2054 2101
type(
  string
)
"src/base/BaseCustom.ml" 42 2054 2103 "src/base/BaseCustom.ml" 42 2054 2106
type(
  string
)
ident(
  int_ref cmd "src/base/BaseCustom.ml" 42 2054 2070 "src/base/BaseCustom.ml" 42 2054 2073
)
"src/base/BaseCustom.ml" 42 2054 2110 "src/base/BaseCustom.ml" 42 2054 2114
type(
  string list
)
ident(
  int_ref args "src/base/BaseCustom.ml" 42 2054 2075 "src/base/BaseCustom.ml" 42 2054 2079
)
"src/base/BaseCustom.ml" 42 2054 2102 "src/base/BaseCustom.ml" 42 2054 2115
type(
  string list
)
"src/base/BaseCustom.ml" 42 2054 2084 "src/base/BaseCustom.ml" 42 2054 2115
call(
  tail
)
type(
  string
)
"src/base/BaseCustom.ml" 43 2116 2126 "src/base/BaseCustom.ml" 43 2116 2130
type(
  (string * string list) option
)
"src/base/BaseCustom.ml" 43 2116 2134 "src/base/BaseCustom.ml" 43 2116 2136
type(
  string -> string
)
ident(
  ext_ref OASISGettext.s_
)
"src/base/BaseCustom.ml" 43 2116 2137 "src/base/BaseCustom.ml" 43 2116 2149
type(
  string
)
"src/base/BaseCustom.ml" 43 2116 2134 "src/base/BaseCustom.ml" 43 2116 2149
call(
  tail
)
type(
  string
)
"src/base/BaseCustom.ml" 41 2039 2045 "src/base/BaseCustom.ml" 43 2116 2149
type(
  (string * string list) option -> string
)
"src/base/BaseCustom.ml" 46 2167 2173 "src/base/BaseCustom.ml" 46 2167 2183
type(
  ?printer:((string * string list) option -> string) ->
  ?name:string ->
  (string * string list) option OASISExpr.choices ->
  (string * string list) option
)
ident(
  ext_ref BaseEnv.var_choose
)
"src/base/BaseCustom.ml" 47 2184 2199 "src/base/BaseCustom.ml" 47 2184 2201
type(
  string -> string
)
ident(
  ext_ref OASISGettext.s_
)
"src/base/BaseCustom.ml" 47 2184 2202 "src/base/BaseCustom.ml" 47 2184 2220
type(
  string
)
"src/base/BaseCustom.ml" 47 2184 2198 "src/base/BaseCustom.ml" 47 2184 2221
call(
  stack
)
type(
  string
)
"src/base/BaseCustom.ml" 48 2222 2231 "src/base/BaseCustom.ml" 48 2222 2238
type(
  (string * string list) option -> string
)
ident(
  int_ref printer "src/base/BaseCustom.ml" 40 2021 2029 "src/base/BaseCustom.ml" 40 2021 2036
)
"src/base/BaseCustom.ml" 49 2239 2247 "src/base/BaseCustom.ml" 49 2239 2250
type(
  (string * string list) option OASISExpr.choices
)
ident(
  int_ref lst "src/base/BaseCustom.ml" 39 1992 2015 "src/base/BaseCustom.ml" 39 1992 2018
)
"src/base/BaseCustom.ml" 46 2167 2173 "src/base/BaseCustom.ml" 49 2239 2250
call(
  stack
)
type(
  (string * string list) option
)
"src/base/BaseCustom.ml" 50 2256 2270 "src/base/BaseCustom.ml" 50 2256 2273
type(
  string
)
ident(
  def cmd "src/base/BaseCustom.ml" 51 2284 2292 "src/base/BaseCustom.ml" 61 2608 2619
)
"src/base/BaseCustom.ml" 50 2256 2275 "src/base/BaseCustom.ml" 50 2256 2279
type(
  string list
)
ident(
  def args "src/base/BaseCustom.ml" 51 2284 2292 "src/base/BaseCustom.ml" 61 2608 2619
)
"src/base/BaseCustom.ml" 50 2256 2269 "src/base/BaseCustom.ml" 50 2256 2280
type(
  string * string list
)
"src/base/BaseCustom.ml" 50 2256 2264 "src/base/BaseCustom.ml" 50 2256 2280
type(
  (string * string list) option
)
"src/base/BaseCustom.ml" 53 2312 2324 "src/base/BaseCustom.ml" 53 2312 2327
type(
  string -> string list -> string array -> unit
)
ident(
  int_ref run "src/base/BaseCustom.ml" 30 1769 1773 "src/base/BaseCustom.ml" 30 1769 1776
)
"src/base/BaseCustom.ml" 53 2312 2328 "src/base/BaseCustom.ml" 53 2312 2331
type(
  string
)
ident(
  int_ref cmd "src/base/BaseCustom.ml" 50 2256 2270 "src/base/BaseCustom.ml" 50 2256 2273
)
"src/base/BaseCustom.ml" 53 2312 2332 "src/base/BaseCustom.ml" 53 2312 2336
type(
  string list
)
ident(
  int_ref args "src/base/BaseCustom.ml" 50 2256 2275 "src/base/BaseCustom.ml" 50 2256 2279
)
"src/base/BaseCustom.ml" 53 2312 2337 "src/base/BaseCustom.ml" 53 2312 2341
type(
  string array
)
"src/base/BaseCustom.ml" 53 2312 2324 "src/base/BaseCustom.ml" 53 2312 2341
call(
  stack
)
type(
  unit
)
"src/base/BaseCustom.ml" 54 2342 2357 "src/base/BaseCustom.ml" 54 2342 2358
type(
  exn
)
ident(
  def e "src/base/BaseCustom.ml" 54 2342 2364 "src/base/BaseCustom.ml" 60 2563 2607
)
"src/base/BaseCustom.ml" 54 2342 2364 "src/base/BaseCustom.ml" 54 2342 2372
type(
  bool
)
ident(
  int_ref failsafe "src/base/BaseCustom.ml" 38 1954 1965 "src/base/BaseCustom.ml" 38 1954 1973
)
"src/base/BaseCustom.ml" 55 2376 2388 "src/base/BaseCustom.ml" 55 2376 2395
type(
  (string -> string -> unit, unit, string, unit) format4 ->
  string -> string -> unit
)
ident(
  ext_ref BaseMessage.warning
)
"src/base/BaseCustom.ml" 56 2396 2411 "src/base/BaseCustom.ml" 56 2396 2413
type(
  (string -> string -> unit, unit, string, unit) format4 ->
  (string -> string -> unit, unit, string, unit) format4
)
ident(
  ext_ref OASISGettext.f_
)
"src/base/BaseCustom.ml" 56 2396 2414 "src/base/BaseCustom.ml" 56 2396 2448
type(
  (string -> string -> unit, unit, string, unit) format4
)
"src/base/BaseCustom.ml" 56 2396 2410 "src/base/BaseCustom.ml" 56 2396 2449
call(
  stack
)
type(
  (string -> string -> unit, unit, string, unit) format4
)
"src/base/BaseCustom.ml" 57 2450 2465 "src/base/BaseCustom.ml" 57 2450 2478
type(
  string -> string list -> string
)
ident(
  ext_ref String.concat
)
"src/base/BaseCustom.ml" 57 2450 2479 "src/base/BaseCustom.ml" 57 2450 2482
type(
  string
)
"src/base/BaseCustom.ml" 57 2450 2484 "src/base/BaseCustom.ml" 57 2450 2487
type(
  string
)
ident(
  int_ref cmd "src/base/BaseCustom.ml" 50 2256 2270 "src/base/BaseCustom.ml" 50 2256 2273
)
"src/base/BaseCustom.ml" 57 2450 2491 "src/base/BaseCustom.ml" 57 2450 2495
type(
  string list
)
ident(
  int_ref args "src/base/BaseCustom.ml" 50 2256 2275 "src/base/BaseCustom.ml" 50 2256 2279
)
"src/base/BaseCustom.ml" 57 2450 2483 "src/base/BaseCustom.ml" 57 2450 2496
type(
  string list
)
"src/base/BaseCustom.ml" 57 2450 2464 "src/base/BaseCustom.ml" 57 2450 2497
call(
  stack
)
type(
  string
)
"src/base/BaseCustom.ml" 58 2498 2519 "src/base/BaseCustom.ml" 58 2498 2520
type(
  exn
)
ident(
  int_ref e "src/base/BaseCustom.ml" 54 2342 2357 "src/base/BaseCustom.ml" 54 2342 2358
)
"src/base/BaseCustom.ml" 59 2526 2552 "src/base/BaseCustom.ml" 59 2526 2555
type(
  string
)
ident(
  def msg "src/base/BaseCustom.ml" 59 2526 2559 "src/base/BaseCustom.ml" 59 2526 2562
)
"src/base/BaseCustom.ml" 59 2526 2544 "src/base/BaseCustom.ml" 59 2526 2555
type(
  exn
)
"src/base/BaseCustom.ml" 59 2526 2559 "src/base/BaseCustom.ml" 59 2526 2562
type(
  string
)
ident(
  int_ref msg "src/base/BaseCustom.ml" 59 2526 2552 "src/base/BaseCustom.ml" 59 2526 2555
)
"src/base/BaseCustom.ml" 60 2563 2581 "src/base/BaseCustom.ml" 60 2563 2582
type(
  exn
)
ident(
  def e "src/base/BaseCustom.ml" 60 2563 2586 "src/base/BaseCustom.ml" 60 2563 2606
)
"src/base/BaseCustom.ml" 60 2563 2586 "src/base/BaseCustom.ml" 60 2563 2604
type(
  exn -> string
)
ident(
  ext_ref Printexc.to_string
)
"src/base/BaseCustom.ml" 60 2563 2605 "src/base/BaseCustom.ml" 60 2563 2606
type(
  exn
)
ident(
  int_ref e "src/base/BaseCustom.ml" 60 2563 2581 "src/base/BaseCustom.ml" 60 2563 2582
)
"src/base/BaseCustom.ml" 60 2563 2586 "src/base/BaseCustom.ml" 60 2563 2606
call(
  stack
)
type(
  string
)
"src/base/BaseCustom.ml" 58 2498 2512 "src/base/BaseCustom.ml" 60 2563 2607
type(
  string
)
"src/base/BaseCustom.ml" 55 2376 2388 "src/base/BaseCustom.ml" 60 2563 2607
call(
  tail
)
type(
  unit
)
"src/base/BaseCustom.ml" 51 2284 2292 "src/base/BaseCustom.ml" 61 2608 2619
type(
  unit
)
"src/base/BaseCustom.ml" 62 2620 2628 "src/base/BaseCustom.ml" 62 2620 2632
type(
  (string * string list) option
)
"src/base/BaseCustom.ml" 63 2636 2644 "src/base/BaseCustom.ml" 63 2636 2646
type(
  unit
)
"src/base/BaseCustom.ml" 45 2157 2161 "src/base/BaseCustom.ml" 63 2636 2646
type(
  unit
)
"src/base/BaseCustom.ml" 40 2021 2025 "src/base/BaseCustom.ml" 63 2636 2646
type(
  unit
)
"src/base/BaseCustom.ml" 65 2652 2658 "src/base/BaseCustom.ml" 65 2652 2661
type(
  'b
)
ident(
  def res "src/base/BaseCustom.ml" 69 2716 2718 "src/base/BaseCustom.ml" 70 2754 2759
)
"src/base/BaseCustom.ml" 66 2664 2668 "src/base/BaseCustom.ml" 66 2664 2684
type(
  OASISTypes.command_line option OASISExpr.choices -> unit
)
ident(
  int_ref optional_command "src/base/BaseCustom.ml" 39 1992 1998 "src/base/BaseCustom.ml" 39 1992 2014
)
"src/base/BaseCustom.ml" 66 2664 2685 "src/base/BaseCustom.ml" 66 2664 2689
type(
  OASISTypes.custom
)
ident(
  int_ref cstm "src/base/BaseCustom.ml" 38 1954 1981 "src/base/BaseCustom.ml" 38 1954 1985
)
"src/base/BaseCustom.ml" 66 2664 2685 "src/base/BaseCustom.ml" 66 2664 2701
type(
  OASISTypes.command_line option OASISTypes.conditional
)
"src/base/BaseCustom.ml" 66 2664 2668 "src/base/BaseCustom.ml" 66 2664 2701
call(
  stack
)
type(
  unit
)
"src/base/BaseCustom.ml" 67 2703 2707 "src/base/BaseCustom.ml" 67 2703 2708
type(
  'a -> 'b
)
ident(
  int_ref f "src/base/BaseCustom.ml" 38 1954 1986 "src/base/BaseCustom.ml" 38 1954 1987
)
"src/base/BaseCustom.ml" 67 2703 2709 "src/base/BaseCustom.ml" 67 2703 2710
type(
  'a
)
ident(
  int_ref e "src/base/BaseCustom.ml" 38 1954 1988 "src/base/BaseCustom.ml" 38 1954 1989
)
"src/base/BaseCustom.ml" 67 2703 2707 "src/base/BaseCustom.ml" 67 2703 2710
call(
  stack
)
type(
  'b
)
"src/base/BaseCustom.ml" 66 2664 2668 "src/base/BaseCustom.ml" 67 2703 2710
type(
  'b
)
"src/base/BaseCustom.ml" 69 2716 2718 "src/base/BaseCustom.ml" 69 2716 2734
type(
  OASISTypes.command_line option OASISExpr.choices -> unit
)
ident(
  int_ref optional_command "src/base/BaseCustom.ml" 39 1992 1998 "src/base/BaseCustom.ml" 39 1992 2014
)
"src/base/BaseCustom.ml" 69 2716 2735 "src/base/BaseCustom.ml" 69 2716 2739
type(
  OASISTypes.custom
)
ident(
  int_ref cstm "src/base/BaseCustom.ml" 38 1954 1981 "src/base/BaseCustom.ml" 38 1954 1985
)
"src/base/BaseCustom.ml" 69 2716 2735 "src/base/BaseCustom.ml" 69 2716 2752
type(
  OASISTypes.command_line option OASISTypes.conditional
)
"src/base/BaseCustom.ml" 69 2716 2718 "src/base/BaseCustom.ml" 69 2716 2752
call(
  stack
)
type(
  unit
)
"src/base/BaseCustom.ml" 70 2754 2756 "src/base/BaseCustom.ml" 70 2754 2759
type(
  'b
)
ident(
  int_ref res "src/base/BaseCustom.ml" 65 2652 2658 "src/base/BaseCustom.ml" 65 2652 2661
)
"src/base/BaseCustom.ml" 69 2716 2718 "src/base/BaseCustom.ml" 70 2754 2759
type(
  'b
)
"src/base/BaseCustom.ml" 65 2652 2654 "src/base/BaseCustom.ml" 70 2754 2759
type(
  'b
)
"src/base/BaseCustom.ml" 39 1992 1994 "src/base/BaseCustom.ml" 70 2754 2759
type(
  'b
)