;;;; 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)