/lib/dialyzer/test/behaviour_SUITE_data/src/proper/
../
compile_flags.hrl
proper_common.hrl
proper_gen.erl
proper_internal.hrl
proper_types.erl
proper_typeserver.erl