|
FUNCTION make_extended_tuple_space (base : product_space, extender : maths_space) : extended_tuple_space; RETURN ( extended_tuple_space ( base , extender ) || maths_space ( ) || generic_expression ( ) || generic_literal ( ) || simple_generic_expression ( ) ) ; END_FUNCTION; -- make_extended_tuple_space |
|
public class FMake_extended_tuple_space public static Value run(SdaiContext _context, Value base, Value extender) |