slide-easy🔗 i

procedure

( install typecontractcoercemethod...)→any

type:any/c

contract:contract?

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

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

procedure

( attach typemethod...)→any

type:any/c

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

procedure

( apply-generic operatorobjectargument...)→any

operator:tag?

object:any/c

argument:any/c

procedure

( coerce objectdest)→any

object:any/c

dest:(or/c #ftag? )

procedure

( ->pict object)→pict?

object:any/c

procedure

( tag? v)→boolean?

v:any/c

procedure

( tag typecontent)→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 typeindex)→tag?

type:any/c

index:exact-nonnegative-integer?

procedure

( sub typestartend)→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? typetag)→boolean?

type:any/c

tag:tag?

procedure

( type=? type1type2)→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? typeprefix)→boolean?

type:any/c

prefix:any/c

syntax

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