#lang s-exp slide-easy

procedure (install type contract coerce method ...) → any

type : any/c

contract : contract?

coerce : (-> any/c any/c)

method : (cons/c tag? any/c)

procedure (attach type method ...) → any

type : any/c

method : (cons/c tag? any/c)

procedure (apply-generic operator object argument ...) → any

operator : tag?

object : any/c

argument : any/c

procedure (coerce object dest) → any

object : any/c

dest : (or/c #f tag?)

procedure (->pict object) → pict?

object : any/c

procedure (tag? v) → boolean?

v : any/c

procedure (tag type content) → any/c

type : any/c

content : any/c

procedure (type object) → any/c

object : any/c

procedure (make-type tag-or-type ...) → any/c

tag-or-type : any/c

procedure (ref type index) → tag?

type : any/c

index : exact-nonnegative-integer?

procedure (sub type start end) → any/c

type : any/c

start : exact-nonnegative-integer?

end : exact-nonnegative-integer?

procedure (depth type) → exact-nonnegative-integer?

type : any/c

procedure (has-tag? type tag) → boolean?

type : any/c

tag : tag?

procedure (type=? type1 type2) → boolean?

type1 : any/c

type2 : any/c

procedure (current type) → tag?

type : any/c

procedure (super type) → any/c

type : any/c

procedure (root? type) → boolean?

type : any/c

procedure (has-prefix? type prefix) → boolean?

type : any/c

prefix : any/c

syntax (config (argument ...) body ...)