FUNCTION one_tuples_of

(* SCHEMA step_merged_ap_schema; *)

-- IN AP238 STEP-NC/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:

Definition	Type
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
2025-09-04T17:14:54-04:00