Query (imandra-base.Imandra_protocol.Abstractor.Query)

type params = {

state_ty : string;

valid_state : string;

transitions : string list;

predicates : string list;

hints : Imandra_surface.Uid.t Imandra_surface.Hints.t option;

stages : Imandra_surface.Abstractor.Stage.t list option;

fsm : fsm option;

}

val pp_params : 
  Ppx_deriving_runtime.Format.formatter ->
  params ->
  Ppx_deriving_runtime.unit

val show_params : params -> Ppx_deriving_runtime.string

type t =

| Q_top of params

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

val show : t -> Ppx_deriving_runtime.string

val print : Fmt.t -> t -> unit

val make_params : 
  state_ty:string ->
  valid_state:string ->
  transitions:string list ->
  predicates:string list ->
  ?hints:Imandra_surface.Uid.t Imandra_surface.Hints.t ->
  ?stages:Imandra_surface.Abstractor.Stage.t list ->
  ?fsm:fsm ->
  unit ->
  params

val make : params -> t