5.5. Record Coercions

  typedef isd =
    struct
    {
      a:int;
      b:string;
      c:double;
    }
  ;

  typedef id =
    struct
    {
      a:int;
      c:double;
    }
  ;
  val x : isd = struct { a=1; b="Hello"; c=9.2; };
  val y : id = x : id; // coercion