let
type_of n =
match
Symtab
.lookup n s.symtab
with
|
Symtab
.
Type
(c)
->
Some
(c)
|
_
->
None