FStarInfo

Runtime structure to store the computed properties of a Star, for any Query.