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