type ('a, 'b) t
a transform variable of type ('a,'b) is a variable of type 'b attached to a variable of type 'a Var.t by a bi-directional transformation.
('a,'b)
'b
'a Var.t
val create : 'a Var.t -> t_from:( 'a -> 'b ) -> t_to:( 'b -> 'a ) -> ( 'a, 'b ) t
val get : ( 'a, 'b ) t -> 'b
val set : ( 'a, 'b ) t -> 'b -> unit