 
 
 ;;;; Flattening maps
-
-(declare map->flatmap map->pairs)
 
 (defn- step1:expand-map-values [kvs parent-path]
   (reduce (fn [so-far [path v]]

  (:require [structural-typing.guts.type-descriptions.includes :as includes]
            [com.rpl.specter :as specter]))

(declare map->flatmap)

;;; Flattening paths


            (handle-kvs ( (includes/includes type-signifier-or-map) type-map)))
          includes/as-type-expander))))

;; TODO: don't know yet if this is the right place to reject types that can't be
;; used in one of our paths.
(extend-type Object
  PathComponent
  (add-on [this paths]
