package sexp

You can search for identifiers within the package.

in-package search v0.2.0

S-expression swiss knife

Install

sha256=bde6acfd2814bcc38a0d3cacb42e513d8932595152dd9798419559fb0e026f4e

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