package diffast-core

  1. Overview
  2. Docs
package diffast-core
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Class Sourcecode.stack

val _global_tbl : (name, Diffast_core.Spec.node_t) Hashtbl.t
val _stack : frame Stack.t
method top : frame
method push : Diffast_core.Spec.node_t -> unit
method pop : unit
method register_global : name -> Diffast_core.Spec.node_t -> unit
method register : name -> Diffast_core.Spec.node_t -> unit
method lookup : name -> Diffast_core.Spec.node_t