all2lang() -> any()
all3lang() -> any()
lc2lang(X1) -> any()
lc3lang(X1) -> any()
Generated by EDoc, Dec 10 2012, 20:44:32.
