type t
val to_t : A.t -> t
val of_t : t -> A.t