package p4spectec

  1. Overview
  2. Docs
package p4spectec
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module SpecTec_AL.Builtin_SpecTec

val ctr : int ref
val init : unit -> unit
val checkpoint : unit -> int
val seff : int -> int -> bool
module Funcs : sig ... end
val invoke : (Lang.Il.value -> unit) -> Lang.Il.id -> Lang.Il.targ list -> Lang.Il.value list -> Lang.Il.value