/******************************************************************************
 * Copyright (c) 2000-2021 Ericsson Telecom AB
 * All rights reserved. This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License v2.0
 * which accompanies this distribution, and is available at
 * https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
 *
 * Contributors:
 *   Balasko, Jeno
 *   Raduly, Csaba
 *
 ******************************************************************************/
module subtype_OK {


type float myf123 (1.0, 2.0, 3.0)
type float minf_to_zero (-infinity..0.0)
type float minf_to_mzero (-infinity..-0.0)
type float reals (-infinity..infinity)
type float reals_and_some (-infinity..infinity, 0.0, 1.0, 2.0, 3.0)
//type myf5 myf6

type float pow2     (2147483648.0, 4294967296.0, 8589934592.0)
type float two31_32 (2147483648.0..8589934592.0)
type float myf9     (myf123, minf_to_zero)

type myf9 myf10 (myf123)
type two31_32 myf11 (2147483648.0..4294967296.0, 4294967296.0..4294967300.0)


}
