diff --git a/sledge/src/fol.mli b/sledge/src/fol.mli
index 227a0fbe7..30a149f9b 100644
--- a/sledge/src/fol.mli
+++ b/sledge/src/fol.mli
@@ -88,6 +88,10 @@ module rec Term : sig
   val extract : seq:t -> off:t -> len:t -> t
   val concat : t array -> t
 
+  (* records *)
+  val select : rcd:t -> idx:int -> t
+  val update : rcd:t -> idx:int -> elt:t -> t
+
   (* if-then-else *)
   val ite : cnd:Formula.t -> thn:t -> els:t -> t