Refinement type

From Free net encyclopedia