src/AST/TypeEnvironment.cpp
bool isFtype( const Type * type ) {
	if ( dynamic_cast< const FunctionType * >( type ) ) {
		return true;
	} else if ( auto typeInst = dynamic_cast< const TypeInstType * >( type ) ) {
		return typeInst->kind == TypeDecl::Ftype;
	} else return false;
}
/// true if a type is a function type
true if a type is a function type
true if a type is a function type
bool isFtype( const Type * type ) {
	if ( dynamic_cast< const FunctionType * >( type ) ) {
		return true;
	} else if ( auto typeInst = dynamic_cast< const TypeInstType * >( type ) ) {
		return typeInst->kind == TypeDecl::Ftype;
	} else return false;
}
bool isFtype ( const Type * type ) { if ( dynamic_cast < const FunctionType * > ( type ) ) { return true ; } else if ( auto typeInst = dynamic_cast < const TypeInstType * > ( type ) ) { return typeInst -> kind == TypeDecl :: Ftype ; } else return false ; }
true if a type is a function type
true if a type is a function type