;;;; coops.types.scm  -*- Scheme -*-
;;;; Kon Lovett, Mar '23

(define-type coops-instance (struct coops-instance))

#; ;
(define-type coops-class (or true coops-instance))
(define-type coops-class coops-instance)

;?? more specific ??
(define-type coops-generic procedure)

;class list-of methods elm
(define-type coops-method (pair coops-instance procedure))