;;; $Id: inject-extract.def,v 1.2 1999/02/25 03:34:55 leavens Exp $
;;; This is only needed so that the type of extract-maker will be right
;;; (This points out a flaw in the type checker:
;;;  need asymmetric unification between formal and actual types.)

(deftype inject (-> (T) T))
(deftype extract-maker (-> (string) (-> ((-> (datum) boolean) string) (-> (T) T))))
