(*	$Id: bd_db.uncal,v 1.2 2008/09/16 10:31:46 hidaka Exp $	 *)
(* source DB of simple bidirectional transformation examples *)
(* rec(\ ($L,$T).{a:{e:$T},c:{f:$T}})({l:b}) *)
cycle((
  &  := {a:{a:&z1},b:{a:&z1},c:&z2},
  &z1:= {d:{}},
  &z2:= {c:&z2}
))