Type:	Set[string]
	an unordered set of entities of type: string
Name:	ha_statefiles
	HA statefile VDIs in use

Field is read-only

• Set[string] get_ha_statefiles (session session_id, pool self)

  Get the ha_statefiles field of the given pool.