sig
val
check_ast : ?is_normalized:bool
->
?ast:
Cil_types
.file
->
string
->
unit
end