"src/base/BaseDoc.ml" 30 1769 1773 "src/base/BaseDoc.ml" 30 1769 1776
type(
  ctxt:'a ->
  ((ctxt:'a ->
    OASISTypes.package ->
    OASISTypes.common_section * OASISTypes.doc -> 'b -> unit) *
   OASISTypes.common_section * OASISTypes.doc)
  list -> OASISTypes.package -> 'b -> unit
)
ident(
  def doc "src/base/BaseDoc.ml" 54 2457 2506 "src/base/BaseDoc.ml" 0 0 -1
)
"src/base/BaseDoc.ml" 30 1769 1778 "src/base/BaseDoc.ml" 30 1769 1782
type(
  'a
)
ident(
  def ctxt "src/base/BaseDoc.ml" 30 1769 1783 "src/base/BaseDoc.ml" 54 2457 2506
)
"src/base/BaseDoc.ml" 30 1769 1783 "src/base/BaseDoc.ml" 30 1769 1786
type(
  ((ctxt:'a ->
    OASISTypes.package ->
    OASISTypes.common_section * OASISTypes.doc -> 'b -> unit) *
   OASISTypes.common_section * OASISTypes.doc)
  list
)
ident(
  def lst "src/base/BaseDoc.ml" 30 1769 1787 "src/base/BaseDoc.ml" 54 2457 2506
)
"src/base/BaseDoc.ml" 30 1769 1787 "src/base/BaseDoc.ml" 30 1769 1790
type(
  OASISTypes.package
)
ident(
  def pkg "src/base/BaseDoc.ml" 30 1769 1791 "src/base/BaseDoc.ml" 54 2457 2506
)
"src/base/BaseDoc.ml" 30 1769 1791 "src/base/BaseDoc.ml" 30 1769 1801
type(
  'b
)
ident(
  def extra_args "src/base/BaseDoc.ml" 32 1805 1807 "src/base/BaseDoc.ml" 54 2457 2506
)
"src/base/BaseDoc.ml" 32 1805 1811 "src/base/BaseDoc.ml" 32 1805 1818
type(
  (ctxt:'a ->
   OASISTypes.package ->
   OASISTypes.common_section * OASISTypes.doc -> 'b -> unit) *
  OASISTypes.common_section * OASISTypes.doc -> unit
)
ident(
  def one_doc "src/base/BaseDoc.ml" 47 2216 2218 "src/base/BaseDoc.ml" 54 2457 2506
)
"src/base/BaseDoc.ml" 32 1805 1820 "src/base/BaseDoc.ml" 32 1805 1830
type(
  ctxt:'a ->
  OASISTypes.package ->
  OASISTypes.common_section * OASISTypes.doc -> 'b -> unit
)
ident(
  def doc_plugin "src/base/BaseDoc.ml" 33 1843 1847 "src/base/BaseDoc.ml" 45 2201 2210
)
"src/base/BaseDoc.ml" 32 1805 1832 "src/base/BaseDoc.ml" 32 1805 1834
type(
  OASISTypes.common_section
)
ident(
  def cs "src/base/BaseDoc.ml" 33 1843 1847 "src/base/BaseDoc.ml" 45 2201 2210
)
"src/base/BaseDoc.ml" 32 1805 1836 "src/base/BaseDoc.ml" 32 1805 1839
type(
  OASISTypes.doc
)
ident(
  def doc "src/base/BaseDoc.ml" 33 1843 1847 "src/base/BaseDoc.ml" 45 2201 2210
)
"src/base/BaseDoc.ml" 32 1805 1819 "src/base/BaseDoc.ml" 32 1805 1840
type(
  (ctxt:'a ->
   OASISTypes.package ->
   OASISTypes.common_section * OASISTypes.doc -> 'b -> unit) *
  OASISTypes.common_section * OASISTypes.doc
)
"src/base/BaseDoc.ml" 33 1843 1850 "src/base/BaseDoc.ml" 33 1843 1860
type(
  ?printer:(bool -> string) -> ?name:string -> bool OASISExpr.choices -> bool
)
ident(
  int_ref BaseEnv.var_choose "src/base/BaseEnv.mli" 85 3259 3259 "src/base/BaseEnv.mli" 89 3348 3352
)
"src/base/BaseDoc.ml" 34 1861 1876 "src/base/BaseDoc.ml" 34 1861 1890
type(
  (OASISTypes.name -> string, unit, string) format ->
  OASISTypes.name -> string
)
ident(
  int_ref Stdlib.Printf.sprintf "printf.mli" 135 7108 7108 "printf.mli" 135 7108 7153
)
"src/base/BaseDoc.ml" 35 1891 1904 "src/base/BaseDoc.ml" 35 1891 1906
type(
  (OASISTypes.name -> string, unit, string, string) format4 ->
  (OASISTypes.name -> string, unit, string, string) format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/base/BaseDoc.ml" 35 1891 1907 "src/base/BaseDoc.ml" 35 1891 1931
type(
  (OASISTypes.name -> string, unit, string, string) format4
)
"src/base/BaseDoc.ml" 35 1891 1903 "src/base/BaseDoc.ml" 35 1891 1932
type(
  (OASISTypes.name -> string, unit, string, string) format4
)
"src/base/BaseDoc.ml" 36 1933 1945 "src/base/BaseDoc.ml" 36 1933 1947
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/base/BaseDoc.ml" 32 1805 1832 "src/base/BaseDoc.ml" 32 1805 1834
)
"src/base/BaseDoc.ml" 36 1933 1945 "src/base/BaseDoc.ml" 36 1933 1955
type(
  OASISTypes.name
)
"src/base/BaseDoc.ml" 34 1861 1875 "src/base/BaseDoc.ml" 36 1933 1956
type(
  string
)
type(
  string option
)
"src/base/BaseDoc.ml" 37 1957 1974 "src/base/BaseDoc.ml" 37 1957 1988
type(
  bool -> string
)
ident(
  int_ref Stdlib.string_of_bool "stdlib.mli" 734 27393 27393 "stdlib.mli" 734 27393 27428
)
type(
  (bool -> string) option
)
"src/base/BaseDoc.ml" 38 1989 1997 "src/base/BaseDoc.ml" 38 1989 2000
type(
  OASISTypes.doc
)
ident(
  int_ref doc "src/base/BaseDoc.ml" 32 1805 1836 "src/base/BaseDoc.ml" 32 1805 1839
)
"src/base/BaseDoc.ml" 38 1989 1997 "src/base/BaseDoc.ml" 38 1989 2010
type(
  bool OASISTypes.conditional
)
"src/base/BaseDoc.ml" 33 1843 1850 "src/base/BaseDoc.ml" 38 1989 2010
type(
  bool
)
"src/base/BaseDoc.ml" 40 2028 2036 "src/base/BaseDoc.ml" 40 2028 2040
type(
  (OASISTypes.name -> unit, unit, string, unit) format4 ->
  OASISTypes.name -> unit
)
ident(
  int_ref BaseMessage.info "src/base/BaseMessage.mli" 40 1979 1979 "src/base/BaseMessage.mli" 40 1979 2027
)
"src/base/BaseDoc.ml" 40 2028 2042 "src/base/BaseDoc.ml" 40 2028 2044
type(
  (OASISTypes.name -> unit, unit, string, unit) format4 ->
  (OASISTypes.name -> unit, unit, string, unit) format4
)
ident(
  int_ref OASISGettext.f_ "src/oasis/OASISGettext.mli" 45 2280 2280 "src/oasis/OASISGettext.mli" 45 2280 2340
)
"src/base/BaseDoc.ml" 40 2028 2045 "src/base/BaseDoc.ml" 40 2028 2074
type(
  (OASISTypes.name -> unit, unit, string, unit) format4
)
"src/base/BaseDoc.ml" 40 2028 2041 "src/base/BaseDoc.ml" 40 2028 2075
type(
  (OASISTypes.name -> unit, unit, string, unit) format4
)
"src/base/BaseDoc.ml" 40 2028 2076 "src/base/BaseDoc.ml" 40 2028 2078
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/base/BaseDoc.ml" 32 1805 1832 "src/base/BaseDoc.ml" 32 1805 1834
)
"src/base/BaseDoc.ml" 40 2028 2076 "src/base/BaseDoc.ml" 40 2028 2086
type(
  OASISTypes.name
)
"src/base/BaseDoc.ml" 40 2028 2036 "src/base/BaseDoc.ml" 40 2028 2086
type(
  unit
)
"src/base/BaseDoc.ml" 41 2088 2096 "src/base/BaseDoc.ml" 41 2088 2111
type(
  ?failsafe:bool -> OASISTypes.custom -> ('b -> unit) -> 'b -> unit
)
ident(
  int_ref BaseCustom.hook "src/base/BaseCustom.mli" 39 2019 2019 "src/base/BaseCustom.mli" 39 2019 2079
)
"src/base/BaseDoc.ml" 42 2112 2122 "src/base/BaseDoc.ml" 42 2112 2125
type(
  OASISTypes.doc
)
ident(
  int_ref doc "src/base/BaseDoc.ml" 32 1805 1836 "src/base/BaseDoc.ml" 32 1805 1839
)
"src/base/BaseDoc.ml" 42 2112 2122 "src/base/BaseDoc.ml" 42 2112 2136
type(
  OASISTypes.custom
)
"src/base/BaseDoc.ml" 43 2137 2148 "src/base/BaseDoc.ml" 43 2137 2158
type(
  ctxt:'a ->
  OASISTypes.package ->
  OASISTypes.common_section * OASISTypes.doc -> 'b -> unit
)
ident(
  int_ref doc_plugin "src/base/BaseDoc.ml" 32 1805 1820 "src/base/BaseDoc.ml" 32 1805 1830
)
"src/base/BaseDoc.ml" 43 2137 2160 "src/base/BaseDoc.ml" 43 2137 2164
type(
  'a
)
ident(
  int_ref ctxt "src/base/BaseDoc.ml" 30 1769 1778 "src/base/BaseDoc.ml" 30 1769 1782
)
"src/base/BaseDoc.ml" 43 2137 2165 "src/base/BaseDoc.ml" 43 2137 2168
type(
  OASISTypes.package
)
ident(
  int_ref pkg "src/base/BaseDoc.ml" 30 1769 1787 "src/base/BaseDoc.ml" 30 1769 1790
)
"src/base/BaseDoc.ml" 43 2137 2170 "src/base/BaseDoc.ml" 43 2137 2172
type(
  OASISTypes.common_section
)
ident(
  int_ref cs "src/base/BaseDoc.ml" 32 1805 1832 "src/base/BaseDoc.ml" 32 1805 1834
)
"src/base/BaseDoc.ml" 43 2137 2174 "src/base/BaseDoc.ml" 43 2137 2177
type(
  OASISTypes.doc
)
ident(
  int_ref doc "src/base/BaseDoc.ml" 32 1805 1836 "src/base/BaseDoc.ml" 32 1805 1839
)
"src/base/BaseDoc.ml" 43 2137 2169 "src/base/BaseDoc.ml" 43 2137 2178
type(
  OASISTypes.common_section * OASISTypes.doc
)
"src/base/BaseDoc.ml" 43 2137 2147 "src/base/BaseDoc.ml" 43 2137 2179
type(
  'b -> unit
)
"src/base/BaseDoc.ml" 44 2180 2190 "src/base/BaseDoc.ml" 44 2180 2200
type(
  'b
)
ident(
  int_ref extra_args "src/base/BaseDoc.ml" 30 1769 1791 "src/base/BaseDoc.ml" 30 1769 1801
)
"src/base/BaseDoc.ml" 41 2088 2096 "src/base/BaseDoc.ml" 44 2180 2200
type(
  unit
)
"src/base/BaseDoc.ml" 39 2016 2022 "src/base/BaseDoc.ml" 45 2201 2210
type(
  unit
)
"src/base/BaseDoc.ml" 33 1843 1847 "src/base/BaseDoc.ml" 45 2201 2210
type(
  unit
)
"src/base/BaseDoc.ml" 47 2216 2218 "src/base/BaseDoc.ml" 47 2216 2227
type(
  ((ctxt:'a ->
    OASISTypes.package ->
    OASISTypes.common_section * OASISTypes.doc -> 'b -> unit) *
   OASISTypes.common_section * OASISTypes.doc -> unit) ->
  ((ctxt:'a ->
    OASISTypes.package ->
    OASISTypes.common_section * OASISTypes.doc -> 'b -> unit) *
   OASISTypes.common_section * OASISTypes.doc)
  list -> unit
)
ident(
  int_ref Stdlib.List.iter "list.mli" 159 5701 5701 "list.mli" 159 5701 5743
)
"src/base/BaseDoc.ml" 47 2216 2228 "src/base/BaseDoc.ml" 47 2216 2235
type(
  (ctxt:'a ->
   OASISTypes.package ->
   OASISTypes.common_section * OASISTypes.doc -> 'b -> unit) *
  OASISTypes.common_section * OASISTypes.doc -> unit
)
ident(
  int_ref one_doc "src/base/BaseDoc.ml" 32 1805 1811 "src/base/BaseDoc.ml" 32 1805 1818
)
"src/base/BaseDoc.ml" 47 2216 2236 "src/base/BaseDoc.ml" 47 2216 2239
type(
  ((ctxt:'a ->
    OASISTypes.package ->
    OASISTypes.common_section * OASISTypes.doc -> 'b -> unit) *
   OASISTypes.common_section * OASISTypes.doc)
  list
)
ident(
  int_ref lst "src/base/BaseDoc.ml" 30 1769 1783 "src/base/BaseDoc.ml" 30 1769 1786
)
"src/base/BaseDoc.ml" 47 2216 2218 "src/base/BaseDoc.ml" 47 2216 2239
type(
  unit
)
"src/base/BaseDoc.ml" 49 2242 2247 "src/base/BaseDoc.ml" 49 2242 2273
type(
  OASISFeatures.t -> OASISTypes.package -> bool
)
ident(
  int_ref OASISFeatures.package_test "src/oasis/OASISFeatures.ml" 291 9956 9960 "src/oasis/OASISFeatures.ml" 291 9956 9972
)
"src/base/BaseDoc.ml" 49 2242 2274 "src/base/BaseDoc.ml" 49 2242 2297
type(
  OASISFeatures.t
)
ident(
  int_ref OASISFeatures.flag_docs "src/oasis/OASISFeatures.ml" 334 10752 10756 "src/oasis/OASISFeatures.ml" 334 10752 10765
)
"src/base/BaseDoc.ml" 49 2242 2298 "src/base/BaseDoc.ml" 49 2242 2301
type(
  OASISTypes.package
)
ident(
  int_ref pkg "src/base/BaseDoc.ml" 30 1769 1787 "src/base/BaseDoc.ml" 30 1769 1790
)
"src/base/BaseDoc.ml" 49 2242 2247 "src/base/BaseDoc.ml" 49 2242 2301
type(
  bool
)
"src/base/BaseDoc.ml" 49 2242 2302 "src/base/BaseDoc.ml" 49 2242 2304
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( && ) "stdlib.mli" 214 8960 8960 "stdlib.mli" 214 8960 9011
)
"src/base/BaseDoc.ml" 50 2305 2310 "src/base/BaseDoc.ml" 50 2305 2313
type(
  bool -> bool
)
ident(
  int_ref Stdlib.not "stdlib.mli" 211 8889 8889 "stdlib.mli" 211 8889 8929
)
"src/base/BaseDoc.ml" 50 2305 2315 "src/base/BaseDoc.ml" 50 2305 2329
type(
  string -> bool
)
ident(
  int_ref Stdlib.bool_of_string "stdlib.mli" 746 27737 27737 "stdlib.mli" 746 27737 27772
)
"src/base/BaseDoc.ml" 50 2305 2331 "src/base/BaseDoc.ml" 50 2305 2351
type(
  unit -> string
)
ident(
  int_ref BaseStandardVar.docs "src/base/BaseStandardVar.mli" 151 4625 4625 "src/base/BaseStandardVar.mli" 151 4625 4649
)
"src/base/BaseDoc.ml" 50 2305 2352 "src/base/BaseDoc.ml" 50 2305 2354
type(
  unit
)
"src/base/BaseDoc.ml" 50 2305 2330 "src/base/BaseDoc.ml" 50 2305 2355
type(
  string
)
"src/base/BaseDoc.ml" 50 2305 2314 "src/base/BaseDoc.ml" 50 2305 2356
type(
  bool
)
"src/base/BaseDoc.ml" 50 2305 2310 "src/base/BaseDoc.ml" 50 2305 2356
type(
  bool
)
"src/base/BaseDoc.ml" 50 2305 2357 "src/base/BaseDoc.ml" 50 2305 2359
type(
  bool -> bool -> bool
)
ident(
  int_ref Stdlib.( && ) "stdlib.mli" 214 8960 8960 "stdlib.mli" 214 8960 9011
)
"src/base/BaseDoc.ml" 51 2360 2365 "src/base/BaseDoc.ml" 51 2360 2368
type(
  ((ctxt:'a ->
    OASISTypes.package ->
    OASISTypes.common_section * OASISTypes.doc -> 'b -> unit) *
   OASISTypes.common_section * OASISTypes.doc)
  list
)
ident(
  int_ref lst "src/base/BaseDoc.ml" 30 1769 1783 "src/base/BaseDoc.ml" 30 1769 1786
)
"src/base/BaseDoc.ml" 51 2360 2369 "src/base/BaseDoc.ml" 51 2360 2371
type(
  ((ctxt:'a ->
    OASISTypes.package ->
    OASISTypes.common_section * OASISTypes.doc -> 'b -> unit) *
   OASISTypes.common_section * OASISTypes.doc)
  list ->
  ((ctxt:'a ->
    OASISTypes.package ->
    OASISTypes.common_section * OASISTypes.doc -> 'b -> unit) *
   OASISTypes.common_section * OASISTypes.doc)
  list -> bool
)
ident(
  int_ref Stdlib.( <> ) "stdlib.mli" 130 5559 5559 "stdlib.mli" 130 5559 5607
)
"src/base/BaseDoc.ml" 51 2360 2372 "src/base/BaseDoc.ml" 51 2360 2374
type(
  ((ctxt:'a ->
    OASISTypes.package ->
    OASISTypes.common_section * OASISTypes.doc -> 'b -> unit) *
   OASISTypes.common_section * OASISTypes.doc)
  list
)
"src/base/BaseDoc.ml" 51 2360 2365 "src/base/BaseDoc.ml" 51 2360 2374
type(
  bool
)
"src/base/BaseDoc.ml" 50 2305 2310 "src/base/BaseDoc.ml" 51 2360 2374
type(
  bool
)
"src/base/BaseDoc.ml" 49 2242 2247 "src/base/BaseDoc.ml" 51 2360 2374
type(
  bool
)
"src/base/BaseDoc.ml" 52 2380 2384 "src/base/BaseDoc.ml" 52 2380 2403
type(
  (unit, unit, string, unit) format4 -> unit
)
ident(
  int_ref BaseMessage.warning "src/base/BaseMessage.mli" 45 2066 2066 "src/base/BaseMessage.mli" 45 2066 2117
)
"src/base/BaseDoc.ml" 53 2404 2410 "src/base/BaseDoc.ml" 54 2457 2506
type(
  (unit, unit, string, unit) format4
)
"src/base/BaseDoc.ml" 52 2380 2384 "src/base/BaseDoc.ml" 54 2457 2506
type(
  unit
)
"src/base/BaseDoc.ml" 49 2242 2244 "src/base/BaseDoc.ml" 54 2457 2506
type(
  unit
)
"src/base/BaseDoc.ml" 47 2216 2218 "src/base/BaseDoc.ml" 54 2457 2506
type(
  unit
)
"src/base/BaseDoc.ml" 32 1805 1807 "src/base/BaseDoc.ml" 54 2457 2506
type(
  unit
)
