module Fieldinfo: S_with_collections with type t = fieldinfo
S_with_collections
with type t = fieldinfo