Type rules (46/48)

Type rules