module type Extensible_checker = sig .. end
sig
end
class check : ?is_normalized:bool -> string -> Visitor.frama_c_visitor
?is_normalized:bool -> string ->
Visitor.frama_c_visitor