FUNCTION one_tuples_of

(* SCHEMA step_merged_ap_schema; *)
-- IN AP242
FUNCTION one_tuples_of
      (spc : maths_space ) : tuple_space;
      RETURN (make_uniform_product_space(spc, 1));
END_FUNCTION;

Referenced By

Defintion one_tuples_of is references by the following definitions:
DefinitionType
 derive_definite_integral_domain FUNCTION
 derive_finite_function_domain FUNCTION
 derive_finite_function_range FUNCTION
 derive_function_domain FUNCTION
 derive_function_range FUNCTION
 domain_from FUNCTION
 repackage FUNCTION


[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2017-01-19T11:17:24-05:00