blob: 77eae2bf4490d9af733f26e670da0bda3b48795d [file] [log] [blame]
from lib1 import S, K
def f(x):
from lib1 import I
return S(K(I))(I)(42)