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
  val relation_fold :
    (string -> int -> Ast.Ast.exp -> '-> 'a) ->
    '-> Ast.Ast.relation -> 'a
end