Up
–
imandra-tools
»
Imandra_tools
»
Region_probs
» Sampler_S
Module type
Region_probs.Sampler_S
type
domain
val
dist :
unit
->
domain