sig val get_flags : Datatype.Filepath.t -> string list val has_entry : Datatype.Filepath.t -> bool end