sig
  val structure : Parsetree.structure -> unit
  val signature : Parsetree.signature -> unit
  val check_loc_ghost :
    (Ast_iterator.iterator -> Ast_iterator.iterator -> 'a -> unit) ->
    'a -> source_contents:string -> unit
end