sig
val context : string
val provider : string
val uris : string
val pwr_serv : string
val loc_serv : string
val con_serv : string
val get_sys_serv : string
val chk_perm : string
val appended : string
val query : string
val uri : string
module PM : sig val pm : string val chk_perm : string end
end