def read_file()

in source/env_setup.py [0:0]


def read_file(file: str) -> str:
    with open(file, 'r') as f:
        return f.read()