Module Signature

module Signature: sig .. end

type id = ID.t 

type 'ty t = 'ty ID.Map.t 

val empty : 'a t

val mem : sigma:'a t -> id -> bool

val find : sigma:'a t -> id -> 'a option

val find_exn : sigma:'a t -> id -> 'a

val declare : sigma:'a t -> id -> 'a -> 'a t

val add_list : sigma:'a t -> (id * 'a) list -> 'a t

val of_list : (id * 'a) list -> 'a t

val add_statement : sigma:'a t -> ('b, 'a) Statement.t -> 'a t