sig
val
check :
T
.
Type
.t
Env
.t
->
T
.
Ast
.t
->
T
.
Type
.t
end