sig
  val 'dot : record -> string -> any
  val 'set_field : record -> string -> any -> record
  val 'remove_field : string -> record -> record
end