type-checker to see if an instantiation is a bidirectional view. More...
type-checker to see if an instantiation is a bidirectional view.