sig
  type license
  type license_exception
  type license_version =
      Version of OASISVersion.t
    | VersionOrLater of OASISVersion.t
    | NoVersion
  type license_dep_5_unit = {
    license : OASISLicense.license;
    excption : OASISLicense.license_exception option;
    version : OASISLicense.license_version;
  }
  type license_dep_5 =
      DEP5Unit of OASISLicense.license_dep_5_unit
    | DEP5Or of OASISLicense.license_dep_5 list
    | DEP5And of OASISLicense.license_dep_5 list
  type t = DEP5License of OASISLicense.license_dep_5 | OtherLicense of string
  type license_data = {
    long_name : string;
    versions : OASISVersion.t list;
    note : string option;
    deprecated : string option;
  }
  type license_exception_data = {
    explanation : string;
    licenses : OASISLicense.license list;
  }
  val to_string : OASISLicense.t -> string
  val legal_disclaimer : string -> OASISLicense.t -> string
  val string_of_license : OASISLicense.license -> string
  val string_of_license_exception : OASISLicense.license_exception -> string
  val value : OASISLicense.t OASISValues.t
  val choices : unit -> OASISLicense.t list
  val license_data :
    unit -> (OASISLicense.license * OASISLicense.license_data) list
  val license_exception_data :
    unit ->
    (OASISLicense.license_exception * OASISLicense.license_exception_data)
    list
  val odn_of_t : OASISLicense.t -> OASISDataNotation.t
  val proprietary : OASISLicense.license
  val apache : OASISLicense.license
  val artistic : OASISLicense.license
  val bsd2 : OASISLicense.license
  val bsd3 : OASISLicense.license
  val bsd4 : OASISLicense.license
  val cecill : OASISLicense.license
  val cecillb : OASISLicense.license
  val cecillc : OASISLicense.license
  val freebsd : OASISLicense.license
  val isc : OASISLicense.license
  val cc_by : OASISLicense.license
  val cc_by_sa : OASISLicense.license
  val cc_by_nd : OASISLicense.license
  val cc_by_nc : OASISLicense.license
  val cc_by_nc_sa : OASISLicense.license
  val cc_by_nc_nd : OASISLicense.license
  val cc0 : OASISLicense.license
  val cddl : OASISLicense.license
  val cpl : OASISLicense.license
  val eiffel : OASISLicense.license
  val expat : OASISLicense.license
  val gpl : OASISLicense.license
  val lgpl : OASISLicense.license
  val agpl : OASISLicense.license
  val gfdl : OASISLicense.license
  val gfdl_niv : OASISLicense.license
  val lppl : OASISLicense.license
  val mpl : OASISLicense.license
  val perl : OASISLicense.license
  val psf : OASISLicense.license
  val qpl : OASISLicense.license
  val w3c_software : OASISLicense.license
  val zlib : OASISLicense.license
  val zope : OASISLicense.license
  val mit : OASISLicense.license
  val wtfpl : OASISLicense.license
  val public_domain : OASISLicense.license
  val ocaml_linking_exception : OASISLicense.license_exception
end