Module `String_checks`

val isAction : Imandra_prelude.string -> bool
val isActionData : Imandra_prelude.string -> bool
val isActionField : Imandra_prelude.string -> bool
val isModelFieldTag : Imandra_prelude.string -> bool
val isModelMessageTag : Imandra_prelude.string -> bool
val isMessageField : Imandra_prelude.string -> bool
val isMessage : Imandra_prelude.string -> bool
val isMessageData : Imandra_prelude.string -> bool
val isInternal : Imandra_prelude.string -> bool
val isInternalField : Imandra_prelude.string -> bool
val isAssignableField : Imandra_prelude.string -> bool
val isEnum : Imandra_prelude.string -> bool
val isEnumCase : Imandra_prelude.string -> bool
val isRepeatingGroup : Imandra_prelude.string -> bool
val name_of_action : Actions.fix_action -> string
val name_of_model_msg : Model_messages.model_msg -> string
val name_of_msg : Model_messages.model_top_level_msg -> string