Sophie
-- -*- M2-comint -*- {* hash: -1017166798 *} i1 : class (x->x) o1 = FunctionClosure o1 : Type i2 :