Skip to content

Compound type validation, e.g. t_list[Foo] #25

@avhz

Description

@avhz

We should implement compound type validation.

e.g. validating that each element is Foo in t_list[Foo]

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions