package sexp

You can search for identifiers within the package.

in-package search v0.2.0

S-expression swiss knife

Install

sha256=c0ad559a13c4eed11f25446016fc776ea147527d186d5b713fcc8d201d26ce6b

Sourcetype t = Var.t Template.t

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

Sourceval t_of_sexp : Sexplib0.Sexp.t -> t

Sourceval 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

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