sig
  val set_field :
    string -> Ast.Ast.exp -> Ast.Ast.datafields -> Ast.Ast.datafields
  val get_field : Ast.Ast.datafields -> string -> Ast.Ast.exp
  val set_index_field :
    string -> int -> Ast.Ast.exp -> Ast.Ast.relation -> Ast.Ast.relation
  val get_index_field :
    string -> int -> Ast.Ast.relation -> Ast.Ast.exp option
end