Repeating_groups_converter
exception
Ipl_rg_exception
type rg_reject_type
=
|
RG_Failure of Model_tags.m_field_tag
RG_Success
val cap_length : 'a list -> Imandra_prelude.int -> Imandra_prelude.int -> Imandra_prelude.int