val lookupType : env -> string -> bool
val lookupVal : env -> string -> Ast.typ option
- val lookupEquation : env -> string -> Ast.exp option
+ val lookupEquation : env -> string -> (Ast.exp * env) option
val lookupContext : env -> string -> bool
val lookupInitialDynEnvVal : env -> string -> Ast.typ option