
(** Experimental: state management for deriving *)
open Sigs_util

(* when you do the iteration, you should do it in reverse order *)  
val current_filters : (plugin_name * plugin) list ref

    
val reset_current_filters : unit -> unit
val keep : bool ref     
val reset : unit -> unit
val gensym : ?pkg:string -> string -> string
  

* Experimental: state management for deriving 
 when you do the iteration, you should do it in reverse order 

open Sigs_util

val current_filters : (plugin_name * plugin) list ref

    
val reset_current_filters : unit -> unit
val keep : bool ref     
val reset : unit -> unit
val gensym : ?pkg:string -> string -> string
  
