PreviousUpNext

15.3.68  src/lib/c-kit/src/ast/uidtabimp.api

## uidtabimp.api

# Compiled by:
#     src/lib/c-kit/src/ast/ast.sublib

#  imperative uid tables 

api Uidtabimp {

   Uid;
   Uidtab(X);

   insert:  (Uidtab( A_info ), Uid, A_info) -> Void;
   find:  (Uidtab( A_info ), Uid) -> Null_Or( A_info );
   vals_list:  Uidtab( A_info ) -> List( A_info );
   keyvals_list:  Uidtab( A_info ) ->  List( (Uid, A_info) );

   uidtab:  Void -> Uidtab( A_info );

};





## Copyright (c) 1998 by Lucent Technologies 
## Subsequent changes by Jeff Prothero Copyright (c) 2010-2015,
## released per terms of SMLNJ-COPYRIGHT.


Comments and suggestions to: bugs@mythryl.org

PreviousUpNext