package p4spectec

You can search for identifiers within the package.

in-package search v0.2.0

Module `Func.Source`

type source =
  (Lang.El.id
   * Lang.El.tparam list
   * Lang.El.arg list
   * Lang.El.exp
   * Lang.El.prem list)
    list

module Value : sig ... end

module Init : Splicer.INIT with type key = Key.t and type value = Value.t

module Anchor : Splicer.ANCHOR

module Splicer : Splicer.SPLICER