Module type Filecheck.Extensible_checker

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