On 2 October 2016 at 00:56, Robert Virding <rvirding@REDACTED> wrote: > So is there a more complete and understandable documentation some > where? It's not documentation, but have you looked at lib/hipe/cerl/erl_types.erl and lib/hipe/cerl/erl_bif_types.erl?