63 open Hints_declaration
77 val sz_eq_dec : AST.intsize -> AST.intsize -> (__, __) Types.sum
79 val sg_eq_dec : AST.signedness -> AST.signedness -> (__, __) Types.sum
81 val fieldlist_eq_dec :
82 Csyntax.fieldlist -> Csyntax.fieldlist -> (__, __) Types.sum
85 Csyntax.typelist -> Csyntax.typelist -> (__, __) Types.sum
87 val type_eq_dec : Csyntax.type0 -> Csyntax.type0 -> (__, __) Types.sum
89 val assert_type_eq : Csyntax.type0 -> Csyntax.type0 -> __ Errors.res
91 val type_eq : Csyntax.type0 -> Csyntax.type0 -> Bool.bool
93 val if_type_eq : Csyntax.type0 -> Csyntax.type0 -> 'a1 -> 'a1 -> 'a1