Sexp_intf: interface specification for handling S-expressions (I/O, etc.)
module type S : sig ... end