Pattern (sexp.sexp.sexp_app.Sexp

type t = Var.t Template.t

include Sexplib0.Sexpable.S with type t := t

include Sexplib0.Sexpable.Of_sexp with type t := t

val t_of_sexp : Sexplib0.Sexp.t -> t

include Sexplib0.Sexpable.Sexp_of with type t := t

val sexp_of_t : t -> Sexplib0.Sexp.t

val pmatch : 
  t ->
  Core.Sexp.t ->
  fail:(unit -> 'a) ->
  succ:(Core.Sexp.t Var.Table.t -> 'a) ->
  'a

val instantiate : t -> Core.Sexp.t Var.Table.t -> (Core.Sexp.t -> 'b) -> 'b