Lines Matching defs:undef
799 (** [undef ty] returns the undefined value of the type [ty].801 val undef : lltype -> llvalue