Type:	int
	64-bit integer
Name:	size
	Size of the patch

Field is read-only

• int get_size (session session_id, pool_patch self)

  Get the size field of the given pool_patch.