include Sexp_intf.Combinators with type 'a t = 'a -> t
val pair : 'a t -> 'b t -> ('a * 'b) tval triple : 'a t -> 'b t -> 'c t -> ('a * 'b * 'c) tval list : 'a t -> 'a list tval array : 'a t -> 'a array tval option : 'a t -> 'a option tval record : (string * t) list -> tval constr : string -> t list -> t