#x:type-check  #x:makreel:model-name behavior #x:member-init;

%%%%%%%%%%%%%%%%%%%%%%%%% FUNCTIONS %%%%%%%%%%%%%%%%%%%%%%%%%
#x:function

#x:function-return-proc

#x:return-type-sort

#x:call-continuation-sort
