Something went wrong. Try again.
forked from gbury/dolmen
Something went wrong. Try again.
123456789101112131415161718192021222324252627282930313233343536373839404142
(* This file is free software, part of dolmen. See file "LICENSE" for more information. *)
(** Standard implementation of answers. *)
(** {2 Type definitions} *)
type term = Term.ttype location = Loc.ttype defs = Statement.defs(** Type aliases for readability. *)
type descr = | Unsat | Sat of Statement.defs list option | Error of string
and t = { id : Id.t option; descr : descr; attrs : term list; loc : location;}
(** {2 implemented interfaces} *)
include Dolmen_intf.Stmt.Response with type t := t and type id := Id.t and type term := term and type location := location and type defs := defs
(** {2 Std function} *)
val print : Format.formatter -> t -> unit(** Printing function *)