[helm.git] / helm / software / components / ng_kernel / oCicTypeChecker.ml

let typecheck_obj obj =
  try 
    NCicTypeChecker.typecheck_obj (OCic2NCic.convert_obj obj); true
  with 
    | NCicTypeChecker.TypeCheckerFailure _
    | NCicTypeChecker.AssertFailure _ -> false