all2lang() -> any()
all3lang() -> any()
lc2lang(X1) -> any()
lc3lang(X1) -> any()
Generated by EDoc, Feb 25 2011, 21:14:42.