package p4spectec

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `Call.Make`Source

module Ext : EXT

Sourceval ctr : int Stdlib.ref

Sourceval init : unit -> unit

Sourceval checkpoint : unit -> int

Sourceval seff : int -> int -> bool

module Funcs : sig ... end

Sourceval funcs : impl Funcs.t

val invoke : 
  (Lang.Il.value -> unit) ->
  Lang.Il.id ->
  Lang.Il.targ list ->
  Lang.Il.value list ->
  Lang.Il.value