Module Prop.Assignment

module Assignment: sig  end

type t = {

	`valuation : (Name.t * bool) list;`
	`literals : Atom.t list;`

}

val pp : Format.formatter -> t -> unit

Parameters:

fmt	:	`Format.formatter`
rho	:	`t`