sig
  exception Lexer_error of string
  val download_dir :
    OpamTypes.dirname OpamTypes.download ->
    OpamTypes.generic_file OpamTypes.download
  val download_file :
    OpamTypes.filename OpamTypes.download ->
    OpamTypes.generic_file OpamTypes.download
  val string_of_address : OpamTypes.address -> string
  val address_of_string : string -> OpamTypes.address
  val parse_url :
    OpamTypes.address -> OpamTypes.address * OpamTypes.repository_kind
  val guess_version_control :
    OpamTypes.dirname -> [ `darcs | `git | `hg ] option
  val string_of_repository_kind : OpamTypes.repository_kind -> string
  val repository_kind_of_string : string -> OpamTypes.repository_kind
  val action_contents : 'OpamTypes.action -> 'a
  val full_action_contents : 'OpamTypes.action -> 'a list
  val string_of_cause : ('pkg -> string) -> 'pkg OpamTypes.cause -> string
  val string_of_upload : OpamTypes.upload -> string
  val repository_kind_of_pin_kind :
    OpamTypes.pin_kind -> OpamTypes.repository_kind option
  val pin_kind_of_string : string -> OpamTypes.pin_kind
  val string_of_pin_kind : OpamTypes.pin_kind -> string
  val pin_option_of_string :
    ?kind:OpamTypes.pin_kind -> string -> OpamTypes.pin_option
  val string_of_pin_option : OpamTypes.pin_option -> string
  val kind_of_pin_option : OpamTypes.pin_option -> OpamTypes.pin_kind
  val pin_of_url :
    OpamTypes.address * OpamTypes.repository_kind -> OpamTypes.pin_option
  val string_of_shell : OpamTypes.shell -> string
  val pos_null : OpamTypes.pos
  val string_of_pos : OpamTypes.pos -> string
  val string_of_relop : OpamTypes.relop -> string
  val relop_of_string : string -> OpamTypes.relop
  val string_of_logop : OpamTypes.logop -> string
  val logop_of_string : string -> OpamTypes.logop
  val string_of_pfxop : OpamTypes.pfxop -> string
  val pfxop_of_string : string -> OpamTypes.pfxop
  val filter_deps :
    ?build:bool ->
    ?test:bool -> ?doc:bool -> OpamTypes.ext_formula -> OpamTypes.formula
  val string_of_filter : OpamTypes.filter -> string
  val map_success :
    ('-> 'b) ->
    ('a, 'fail) OpamTypes.result -> ('b, 'fail) OpamTypes.result
end