# File lib/type_checker.rb, line 893
def
process_true
(
exp
)
return
t
(
:true
,
Type
.
bool
)
end