FunctionEncoding.fs check in