sig
  type ('a, 'b) t = {
    name : string;
    setter : ('-> '-> unit) option;
    getter : '-> 'b;
    fset : '-> '-> 'a;
  }
  val name : ('a, 'b) Field.t -> string
  val get : ('a, 'b) Field.t -> '-> 'b
  val fset : ('a, 'b) Field.t -> '-> '-> 'a
  val setter : ('a, 'b) Field.t -> ('-> '-> unit) option
  type ('a, 'b) user = { f : 'c. ('a, 'c) Field.t -> 'b; }
end