else
let uri_str = Sys.argv.(1) in
let uri = UriManager.uri_of_string uri_str in
match CicEnvironment.get_obj uri with
| Cic.Constant (_, body, ty, _) ->
else
let uri_str = Sys.argv.(1) in
let uri = UriManager.uri_of_string uri_str in
match CicEnvironment.get_obj uri with
| Cic.Constant (_, body, ty, _) ->