Module TermMono.Sig

module Sig: Signature

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

Raises Not_found if not present

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

Update the signature with the content of the given statement