snd (to_string e)
| NCicEnvironment.BadConstraint msg ->
None, "NCicEnvironment bad constraint: " ^ Lazy.force msg
snd (to_string e)
| NCicEnvironment.BadConstraint msg ->
None, "NCicEnvironment bad constraint: " ^ Lazy.force msg
| CicTypeChecker.TypeCheckerFailure msg ->
None, "Type checking error: " ^ Lazy.force msg
| CicTypeChecker.AssertFailure msg ->
| CicTypeChecker.TypeCheckerFailure msg ->
None, "Type checking error: " ^ Lazy.force msg
| CicTypeChecker.AssertFailure msg ->