adamc@200: type t = {A : string, B : {C : string, D : string}}
adamc@200:
adamc@200: val page = fn x : t =>
adamc@200: {cdata x.A},{cdata x.B.C},{cdata x.B.D}
adamc@200:
adamc@200:
adamc@200: val main : unit -> page = fn () =>
adamc@200: First
adamc@200: Second
adamc@200: