exception_basic.sail « lib - sail - Formal specification language for ISAs

summary refs log tree commit diff

path: root/lib/exception_basic.sail

blob: cab394b042968657e1b558ef64cf58f541f7b473 (plain)

$ifndef _EXN_BASIC
$define _EXN_BASIC

newtype exception = Exception : unit

$endif