Module state_orset_ext

filter(Function, X2) -> any()

intersect(X1, RValue) -> any()

map(Function, X2) -> any()

product(X1, X2) -> any()

union(LValue, RValue) -> any()