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) |