FUNCTION make_function_space (domain_constraint : space_constraint_type; domain_argument : maths_space; range_constraint : space_constraint_type; range_argument : maths_space) : function_space; RETURN (function_space (domain_constraint, domain_argument, range_constraint, |
public class FMake_function_space public static Value run(SdaiContext _context, Value domain_constraint, Value domain_argument, Value range_constraint, Value range_argument) |