package sexp

You can search for identifiers within the package.

in-package search v0.2.0

S-expression swiss knife

Install

sha256=7c0bc2f04bf7abda23ccf02ce10cf90cd9e60124736ffa6501388693f2f30ac0

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