val lookupType : env -> string -> bool
val lookupVal : env -> string -> Ast.typ option
val lookupEquation : env -> string -> Ast.exp option
val lookupContext : env -> string -> bool
val lookupType : env -> string -> bool
val lookupVal : env -> string -> Ast.typ option
val lookupEquation : env -> string -> Ast.exp option
val lookupContext : env -> string -> bool