open Ast
open Util
open Big_int
open Type_internal

type typ = Type_internal.t

val default_order : tannot defs -> order