Not 'document list' but 'list<document>', for when we extract to F#.
Not 'document list' but 'list<document>', for when we extract to F#.

FStarLang/FStar,A-Manning/FStar,FStarLang/FStar,A-Manning/FStar,FStarLang/FStar,A-Manning/FStar