+let test_uri typecheck uri =
+ if typecheck then
+ try ignore(CicTypeChecker.typecheck uri CicUniv.empty_ugraph);1
+ with CicTypeChecker.TypeCheckerFailure s |
+ CicTypeChecker.AssertFailure s -> 0
+ else
+ let obj,_ = CicEnvironment.get_obj CicUniv.empty_ugraph uri in