#include FSET.cam
#include ffs.cam

; Creation date: Fri Dec 12 10:56:57 WET 1997

STATE st : (A->B)-set;

FUNC HIST(a: B): B->NAT
RETURN ffsHistogr(a,st );

FUNC REN(a: A->A): VOID
STATE  st <- ffsRename(a,st);

FUNC JOIN(a: (A->B)-set): VOID
STATE  st <- ffsJoin(st,a);