An implementation of F<:. SRC (1993)

by Luca Cardelli