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

;; Include File

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