MobilityDB  1.0

◆ ensure_positive_datum()

void ensure_positive_datum ( Datum  size,
Oid  type 
)

Ensures that the number is positive.