CHSymbolicSetsDomainExtensiveArrays
class symbolic_sets_domain_extensive_arrays_t : ?do_precise_read_write:bool -> string -> object ... end