adamc@1009: val title : Meta.meta (string, string) adamc@1009: val abstract : Meta.meta (string, string) adamc@1011: adamc@1011: con dropdown :: (Type * Type) adamc@1011: val dropdown : string -> list char -> Meta.meta dropdown