"src/base/BaseContext.ml" 27 1758 1762 "src/base/BaseContext.ml" 27 1758 1766
type(
  unit -> (string * Arg.spec * string) list
)
ident(
  def args "src/base/BaseContext.ml" 30 1790 1790 "src/base/BaseContext.ml" 0 0 -1
)
"src/base/BaseContext.ml" 27 1758 1767 "src/base/BaseContext.ml" 27 1758 1769
type(
  unit
)
"src/base/BaseContext.ml" 27 1758 1772 "src/base/BaseContext.ml" 27 1758 1775
type(
  (string * Arg.spec * string) list * (unit -> OASISContext.t) ->
  (string * Arg.spec * string) list
)
ident(
  int_ref Stdlib.fst "stdlib.mli" 814 30361 30361 "stdlib.mli" 814 30361 30401
)
"src/base/BaseContext.ml" 27 1758 1777 "src/base/BaseContext.ml" 27 1758 1783
type(
  unit -> (string * Arg.spec * string) list * (unit -> OASISContext.t)
)
ident(
  int_ref OASISContext.fspecs "src/oasis/OASISContext.mli" 73 2625 2625 "src/oasis/OASISContext.mli" 73 2625 2694
)
"src/base/BaseContext.ml" 27 1758 1784 "src/base/BaseContext.ml" 27 1758 1786
type(
  unit
)
"src/base/BaseContext.ml" 27 1758 1776 "src/base/BaseContext.ml" 27 1758 1787
type(
  (string * Arg.spec * string) list * (unit -> OASISContext.t)
)
"src/base/BaseContext.ml" 27 1758 1772 "src/base/BaseContext.ml" 27 1758 1787
type(
  (string * Arg.spec * string) list
)
"src/base/BaseContext.ml" 30 1790 1794 "src/base/BaseContext.ml" 30 1790 1801
type(
  OASISContext.t ref
)
ident(
  def default "src/base/BaseContext.ml" 30 1790 1811 "src/base/BaseContext.ml" 0 0 -1
)
"src/base/BaseContext.ml" 30 1790 1804 "src/base/BaseContext.ml" 30 1790 1811
type(
  OASISContext.t ref
)
ident(
  int_ref OASISContext.default "src/oasis/OASISContext.mli" 69 2558 2558 "src/oasis/OASISContext.mli" 69 2558 2576
)
