Module Infsys.Config

module Config: sig  end

A configuration (g; e; p) consists of

type 'a t = G.t * 'a * Partition.t

val empty : 'a -> 'a t

Parameters:

empty_e : 'a

val is_empty : ('a -> bool) -> 'a t -> bool

Parameters:

is_empty_e	:	`'a -> bool`
?	:	`'a t`

val pp : 'a Pretty.printer -> 'a t Pretty.printer

Pretty-printing configurations.

Parameters: