adamc@1007: con title :: (Type * Type)
adamc@1007: val title : Meta.meta title
adamc@1007: 
adamc@1007: con abstract :: (Type * Type)
adamc@1007: val abstract : Meta.meta abstract