spec_analysis.mli « src - sail - Formal specification language for ISAs

summary refs log tree commit diff

path: root/src/spec_analysis.mli

blob: 946989540902f2994384c776b88f28ecc68c7d91 (plain)

open Ast
open Util
open Big_int
open Type_internal

type typ = Type_internal.t

val default_order : tannot defs -> order