Module type Filecheck.Extensible_checker

module type Extensible_checker = sig .. end

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