Module Sexp_app.Semantics

type 'sexp query_meaning = 'sexp -> Core.Sexp.t Lazy_list.t
val change : Syntax.Change.t -> Core.Sexp.t -> Core.Sexp.t option