Serapi_protocol.QueryUtil
val info_of_id : Environ.env -> string -> coq_object list * coq_object list