Contents : List : String <- String = <> ..

- FileTree Current_path '*.txt' (
                                  File_name : 
                                              Contents->File_name = Text
                                              ' Text - CharIn >Text< File_name 
                                )
' Current_path - FS >Current_path< FS_CD  