package sexp

  1. Overview
  2. Docs
type t = Var.t Template.t
include Sexplib0.Sexpable.S with type t := t
val t_of_sexp : Sexplib0.Sexp.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
OCaml

Innovation. Community. Security.