Searched refs:bits42 (Results 1 – 1 of 1) sorted by relevance
37 -export_type([bin4/0, bits42/0, bits5x/0, bits7x/0, untyped/0]).930 -type bits42() :: <<_:42>>. type941 ?_passes(?FORALL(B,bits42(),bit_size(B) =:= 42)),