sig
val varinfo : Visitor_behavior.t -> unit
val compinfo : Visitor_behavior.t -> unit
val enuminfo : Visitor_behavior.t -> unit
val enumitem : Visitor_behavior.t -> unit
val typeinfo : Visitor_behavior.t -> unit
val stmt : Visitor_behavior.t -> unit
val logic_info : Visitor_behavior.t -> unit
val logic_type_info : Visitor_behavior.t -> unit
val fieldinfo : Visitor_behavior.t -> unit
val model_info : Visitor_behavior.t -> unit
val logic_var : Visitor_behavior.t -> unit
val kernel_function : Visitor_behavior.t -> unit
val fundec : Visitor_behavior.t -> unit
end