Up – imandra-tools » Imandra_tools » Region_probs » Distribution » From_Sampler » 1-S

Parameter `From_Sampler.1-S`

type domain

val dist : unit -> domain