abstract_types

stype_qual:=
cbind | incompleteIncomplete
cbind | podPod
cbind | _gc_pointerGC_pointer
cbind | _gc_type stypeexpr
sabstract_type:=
cbind | stype_qual* type sdeclname = scode_spec srequires_clause ;
cbind | callback proc NAME : stypeexpr srequires_clause ;
cbind | callback fun NAME : stypeexpr srequires_clause ;
cbind | stype_qual* ctypes sbasic_name_comma_list srequires_clause ;
statements | stype_qual* type sdeclname = new sexpr ;