File type.cpp

ir/type.cpp:None–None · view source on GitHub ↗

Source from the content-addressed store, hash-verified

1	// Copyright (c) 2018-present The Alive2 Authors.
2	// Distributed under the MIT license that can be found in the LICENSE file.
3
4	#include "ir/type.h"

nothing calls this directly

printMethod · 0.45

no test coverage detected