FUNCTION make_finite_real_interval (min : REAL, minclo : open_closed, max : REAL, maxclo : open_closed) : finite_real_interval; RETURN (finite_real_interval (min, minclo, max, maxclo) |
public class FMake_finite_real_interval public static Value run(SdaiContext _context, Value min, Value minclo, Value max, Value maxclo) |