Module Msg_check_types

type field_state = {
is_invalid : bool;
field_text : Imandra_prelude.string;
}
val fields_are_good : field_state
val field_invalid : Imandra_prelude.string -> field_state
type validate_reject = {
validate_invalid : bool;
validate_text : Imandra_prelude.string;
}
val no_invalid_validates : validate_reject
val make_cond : bool -> Imandra_prelude.string -> validate_reject