functor (S : Core.Std.Sexpable) ->
  sig
    val check : string -> string option
    val check_sexps : string -> string option
    val edit : ?create:bool -> string -> [ `Abort | `Ok ]
    val edit_sexps : ?create:bool -> string -> [ `Abort | `Ok ]
  end