sig
  type init = Good of Kwrefer.refermap Kwrefer.SM.t | Bad of string
  val load :
    ?validate:(?loc:string ->
               Kwrefer.SS.t Kwrefer.SM.t * Kwrefer.validation_error list ->
               int ->
               (Kwrefer.SM.key * Kwrefer.SS.elt) list ->
               Kwrefer.SS.t Kwrefer.SM.t * Kwrefer.validation_error list) ->
    string -> string -> Restful.Config.init
  val loadenv :
    ?validate:(?loc:string ->
               Kwrefer.SS.t Kwrefer.SM.t * Kwrefer.validation_error list ->
               int ->
               (Kwrefer.SM.key * Kwrefer.SS.elt) list ->
               Kwrefer.SS.t Kwrefer.SM.t * Kwrefer.validation_error list) ->
    string -> string -> Restful.Config.init
  val dump :
    string list Kwrefer.SM.t Kwrefer.SM.t ->
    (Kwrefer.SM.key * string) list list
end