Module type DomainProperties.S

val tests : QCheck.Test.t list