map

(in-package "OMAP")

(include-book "centaur/fty/top" :dir :system)

(include-book "std/omaps/core" :dir :system)

(defsection map
  :parents (fty-extensions specific-types omaps)
  :short (topstring "A "
    (seetopic "fty::fty" "fixtype")
    " of "
    (seetopic "omap::omaps" "omaps")
    ".")
  :long (topstring-p "This is similar to the fixtype @(tsee set::set) of osets.")
  (deffixtype map
    :pred mapp
    :fix mfix
    :equiv mequiv
    :define t
    :forward t))