Previous  Up  Next

Module Result


module Result: sig  end

type t =
| Term of Term.t
| Atom of Atom.t
| Cnstrnt of Sign.t option
| Dom of Dom.t option
| Optterm of Term.t option
| Name of Name.t
| Terms of Term.Set.t
| Atoms of Atom.Set.t
| Unit of unit
| Bool of bool
| Solution of (Term.t * Term.t) list
| Context of Context.t
| Process of Name.t Context.Status.t
| Symtab of Symtab.t
| Entry of Symtab.entry
| Sat of (Prop.Assignment.t * Name.t) option
| Int of int
| String of string 

exception Result of t
val output : Format.formatter -> t -> unit
Parameters:
fmt : Format.formatter
?? : t