(* SCHEMA mathematical_functions_schema; *)
FUNCTION make_integer_interval_from_min(min : INTEGER)
: integer_interval_from_min;
RETURN (integer_interval_from_min (min)
|| maths_space()
|| generic_expression()
|| generic_literal()
|| simple_generic_expression() );
END_FUNCTION; -- make_integer_interval_from_min
[Top Level Definitions] [Exit]
Generated by STEP Tools® EXPRESS to HTML Converter
2012-03-27T17:13:59-04:00