Skip to content

functional backend: rename "type" to either "kind" or "sort" to make … #678

functional backend: rename "type" to either "kind" or "sort" to make …

functional backend: rename "type" to either "kind" or "sort" to make … #678