package p4spectec

You can search for identifiers within the package.

in-package search v0.2.0

Module `Builtin.Call`Source

Sourcemodule Fresh_ = Fresh

module Typ = Runtime.Type.Typ

module Value = Runtime.Value

module Run = Runtime.Dynamic_Runner.Signature

type impl =
  (Value.t -> unit) ->
  Util.Source.region ->
  Typ.t list ->
  Value.t list ->
  Value.t

Sourcemodule type EXT = sig ... end

Sourcemodule No_ext : EXT

Sourcemodule Make (Ext : EXT) () : sig ... end