Module Space.Dict

Named fields with different space types.

create fields is a dictionary space with named fields. Valid values are association lists matching the keys and subspaces of fields.

Raises Invalid_argument if fields contains duplicate keys.