helm/software/components/ng_kernel/oCicTypeChecker.ml

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