let function seq() = () in end