Skip to content

Pull out and document is_mapping and mapping_structure_factory#556

Merged
Tinche merged 5 commits intomainfrom
tin/better-mapping-predicates
Jul 24, 2024
Merged

Pull out and document is_mapping and mapping_structure_factory#556
Tinche merged 5 commits intomainfrom
tin/better-mapping-predicates

Commits

Commits on Jul 23, 2024

Commits on Jul 24, 2024