;;;; levenshtein-cost-interface.types.scm -*- Scheme -*-
;;;; Kon Lovett, Aug '20

;; include-relative File

(: cost-multiply (cost cost --> cost))
(: cost-add (cost cost --> cost))
(: cost-minimum (cost #!rest cost --> cost))
(: cost-less-than (cost cost --> boolean))
(: cost-zero cost)
(: cost-positive-infinity cost)