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