- | M.Const [s] -> txt_str s
- | M.Const l -> "{" ^ txt_list txt_str ", " l ^ "}"
- | M.VVar vv -> txt_vvar vv
- | M.Record (rv, p) -> txt_rvar rv ^ "." ^ txt_path p
- | M.Fun (s, x) -> "fun " ^ txt_str s ^ " " ^ txt_val x
- | M.Attribute (i, r, p, x) -> "attribute " ^ txt_refpath i r p ^ txt_val x
- | M.RefOf x -> "refof " ^ txt_set x
+ | M.Const [s] -> txt_str s
+ | M.Const l -> "{" ^ txt_list txt_str ", " l ^ "}"
+ | M.VVar vv -> txt_vvar vv
+ | M.Record (rv, p) -> txt_rvar rv ^ "." ^ txt_vvar (fst p)
+ | M.Fun (s, x) -> "fun " ^ txt_str s ^ " " ^ txt_val x
+ | M.Property (i, r, p, x) -> "property " ^ txt_refpath i r p ^ txt_val x
+ | M.RefOf x -> "refof " ^ txt_set x