Re: [graph-tool] Type of property