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 -> 'a) ->
'a -> Ast.Ast.relation -> 'a
end