Previous  Up  Next

Module Symtab


module Symtab: sig  end

type entry =
| Def of defn
| Arity of int
| Type of Dom.t
| State of Context.t


type defn =
| Term of Term.t
| Prop of Prop.t


type t = entry Name.Map.t 
val lookup : Name.Map.key -> 'a Name.Map.t -> 'a
val empty_name : Name.Map.key
val empty : entry Name.Map.t
val add : Name.Map.key -> 'a -> 'a Name.Map.t -> 'a Name.Map.t
Parameters:
n : Name.Map.key
e : 'a
s : 'a Name.Map.t
 
val remove : Name.Map.key -> 'a Name.Map.t -> 'a Name.Map.t
Parameters:
n : Name.Map.key
s : 'a Name.Map.t
 
val filter : (Name.Map.key -> 'a -> bool) -> 'a Name.Map.t -> 'a Name.Map.t
Parameters:
p : Name.Map.key -> 'a -> bool
s : 'a Name.Map.t
 
val state : entry Name.Map.t -> entry Name.Map.t
val def : entry Name.Map.t -> entry Name.Map.t
val arity : entry Name.Map.t -> entry Name.Map.t
val typ : entry Name.Map.t -> entry Name.Map.t
val pp : Format.formatter -> entry Name.Map.t -> unit
Parameters:
fmt : Format.formatter
s : entry Name.Map.t
 
val pp_entry : entry Pretty.printer
Parameters:
fmt : Format.formatter
e : entry