Quote: in a cluster, use 'cvt' type for parameters which are automatically converted to representation type

Note

to change representation object (eg array(int)) to object type (eg an integerset) specify in parameter declaration cvt which retypes when return(r) ... [p.8] insert= oper (s:cvt, i:int) says insert is an operation on two arguments an integer i and a member of cluster type (inside def s is member of representation type)

Related Topics

Topic: representation data type (21 items)