Home
last modified time | relevance | path

Searched refs:internal_well_defined (Results 1 – 4 of 4) sorted by relevance

/dports/databases/couchdb3/apache-couchdb-3.2.1/src/proper/src/
H A Dproper_symb.erl145 -export([internal_eval/1, internal_well_defined/1]).
224 -spec internal_well_defined(proper_types:type()) -> proper_types:type().
225 internal_well_defined(SymbType) -> function
H A Dproper_typeserver.erl2008 proper_symb:internal_well_defined(ImmFinType)
2089 proper_symb:internal_well_defined(ImmFinType)
/dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/lib/dialyzer/test/opaque_SUITE_data/src/proper/
H A Dproper_typeserver.erl2008 proper_symb:internal_well_defined(ImmFinType)
2089 proper_symb:internal_well_defined(ImmFinType)
/dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/lib/dialyzer/test/behaviour_SUITE_data/src/proper/
H A Dproper_typeserver.erl2017 proper_symb:internal_well_defined(ImmFinType)
2098 proper_symb:internal_well_defined(ImmFinType)