ast.sed « src - sail - Formal specification language for ISAs

summary refs log tree commit diff

path: root/src/ast.sed

blob: 39c58a50b47f5962692d6fb6ad0753d0b83735fd (plain)

1 2	`s/type l = \| Unknown/type l = Parse_ast.l/ s/type value = \| Val/open Value/`