helm/software/components/ng_kernel/oCicTypeChecker.ml

   1
   2 let typecheck_obj uri obj =
   3   try
   4     NCicTypeChecker.typecheck_obj (HExtlib.list_last (OCic2NCic.convert_obj uri
   5     obj)); true
   6   with
   7     | NCicTypeChecker.TypeCheckerFailure _
   8     | NCicTypeChecker.AssertFailure _ -> false
   9