sig
class
check : ?is_normalized:bool
->
string
->
Visitor
.frama_c_visitor
end