Module Msg_check_types
val fields_are_good : field_state
val field_invalid : Imandra_prelude.string -> field_state
val no_invalid_validates : validate_reject
val make_cond : bool -> Imandra_prelude.string -> validate_reject
Msg_check_types
val fields_are_good : field_state
val field_invalid : Imandra_prelude.string -> field_state
val no_invalid_validates : validate_reject
val make_cond : bool -> Imandra_prelude.string -> validate_reject