From_Data (imandra-tools.Imandra_tools.Region_probs.Distribution.From

Parameters

module D : Data_S

Signature

type domain = D.domain

val get_probs : 
  Imandra_surface.Modular_region.t list ->
  ?assuming:string ->
  ?n:Z.t ->
  ?d:string ->
  ?step_function:( domain -> domain ) ->
  ?num_steps:Z.t ->
  unit ->
  ( int, float * Imandra_surface.Modular_region.t ) Stdlib.Hashtbl.t

val query : 
  ( domain -> bool ) ->
  ?n:Z.t ->
  ?d:string ->
  ?max_std_err:Q.t ->
  ?precision:Z.t ->
  unit ->
  unit

val save : string -> ?n:Z.t -> ?d:domain list -> unit -> unit

val load : string -> domain list