我有一个作业问题，给出了类型定义：
type 'a env = string -> 'a
我需要定义一些功能，例如：
Define the functions:
val emptyEnv : 'a env = (* ... *)
val lookup : string * 'a env -> 'a = (*...*)
我不明白“字符串->‘a”作为一种类型的含义以及如何使用该类型进行编码。我假设要返回一个空的环境，函数EmptyEnv需要返回“ string->‘a”类型的东西，但是我该如何构造这样的东西呢？