FUNCTION make_real_interval_from_min (min : REAL, minclo : open_closed) : real_interval_from_min; RETURN (real_interval_from_min (min, minclo) |
public class FMake_real_interval_from_min public static Value run(SdaiContext _context, Value min, Value minclo) |