Terms: ['Stdlib.Lists.List.ListOps.rev', 'Corelib.Init.Datatypes.app']
Inductive Types: ['Corelib.Init.Logic.eq', 'Corelib.Init.Datatypes.list']
Terms: ['Stdlib.Lists.List.ListOps.rev', 'Corelib.Init.Datatypes.app']
Inductive Types: ['Corelib.Init.Logic.eq', 'Corelib.Init.Datatypes.list']
Terms: ['Stdlib.Vectors.VectorDef.cons', 'Stdlib.Vectors.VectorDef.rev', 'Corelib.Init.Datatypes.S', 'Stdlib.Vectors.VectorDef.shiftin']
Inductive Types: ['Corelib.Init.Datatypes.nat', 'Corelib.Init.Logic.eq', 'Stdlib.Vectors.VectorDef.t']
Terms: ['Stdlib.Lists.List.ListOps.rev']
Inductive Types: ['Corelib.Init.Logic.eq', 'Corelib.Init.Datatypes.list']
Terms: ['Corelib.Init.Datatypes.nil', 'Stdlib.Lists.List.ListOps.rev', 'Corelib.Init.Datatypes.cons', 'Corelib.Init.Datatypes.app']
Inductive Types: ['Corelib.Init.Logic.eq', 'Corelib.Init.Datatypes.list']
Terms: ['Stdlib.Vectors.VectorDef.nil', 'Stdlib.Vectors.VectorDef.rev', 'Corelib.Init.Datatypes.O']
Inductive Types: ['Corelib.Init.Logic.eq', 'Stdlib.Vectors.VectorDef.t']
Terms: ['Corelib.Init.Hexadecimal.rev']
Inductive Types: ['Corelib.Init.Logic.eq', 'Corelib.Init.Hexadecimal.uint']
Terms: ['Corelib.Init.Decimal.rev']
Inductive Types: ['Corelib.Init.Decimal.uint', 'Corelib.Init.Logic.eq']
Terms: ['M.rev_elements', 'M.elements', 'Stdlib.Lists.List.rev']
Inductive Types: ['Corelib.Init.Logic.eq', 'Corelib.Init.Datatypes.list']
Terms: ['Corelib.Init.Hexadecimal.rev', 'Stdlib.Arith.PeanoNat.Nat.to_hex_uint', 'Stdlib.Numbers.HexadecimalNat.Unsigned.to_lu']
Inductive Types: ['Corelib.Init.Logic.eq', 'Corelib.Init.Hexadecimal.uint']
Terms: ['Stdlib.Numbers.DecimalNat.Unsigned.to_lu', 'Stdlib.Arith.PeanoNat.Nat.to_uint', 'Corelib.Init.Decimal.rev']
Inductive Types: ['Corelib.Init.Decimal.uint', 'Corelib.Init.Logic.eq']
Terms: ['Corelib.Init.Nat.add', 'Corelib.Init.Datatypes.length', 'Corelib.Init.Datatypes.app']
Inductive Types: ['Corelib.Init.Datatypes.nat', 'Corelib.Init.Logic.eq', 'Corelib.Init.Datatypes.list']
Terms: ['Corelib.Init.Datatypes.length', 'Stdlib.Numbers.DecimalFacts.lnzhead']
Inductive Types: ['Stdlib.Numbers.DecimalFacts.digits', 'Corelib.Init.Peano.le']
Terms: ['Stdlib.Numbers.HexadecimalFacts.lnzhead', 'Corelib.Init.Datatypes.length']
Inductive Types: ['Corelib.Init.Peano.le', 'Stdlib.Numbers.HexadecimalFacts.digits']
Terms: ['Corelib.Init.Nat.add', 'Corelib.Init.Datatypes.pair', 'Corelib.Init.Datatypes.length', 'Stdlib.Lists.List.Bool.partition']
Inductive Types: ['Corelib.Init.Datatypes.nat', 'Corelib.Init.Logic.eq', 'Corelib.Init.Datatypes.list', 'Corelib.Init.Datatypes.prod']
Terms: ['Corelib.Init.Datatypes.nil', 'Stdlib.Lists.List.ListOps.rev', 'Stdlib.Lists.List.ListOps.rev_append']
Inductive Types: ['Corelib.Init.Logic.eq', 'Corelib.Init.Datatypes.list']
Terms: ['Corelib.Init.Hexadecimal.rev', 'Corelib.Init.Hexadecimal.nzhead', 'Stdlib.Numbers.HexadecimalFacts.nztail']
Inductive Types: ['Corelib.Init.Logic.eq', 'Corelib.Init.Hexadecimal.uint']
Terms: ['Corelib.Init.Decimal.nzhead', 'Stdlib.Numbers.DecimalFacts.nztail', 'Corelib.Init.Decimal.rev']
Inductive Types: ['Corelib.Init.Decimal.uint', 'Corelib.Init.Logic.eq']
Terms: ['Corelib.Init.Hexadecimal.rev', 'Corelib.Init.Hexadecimal.unorm', 'Stdlib.Numbers.HexadecimalFacts.lnorm']
Inductive Types: ['Corelib.Init.Logic.eq', 'Corelib.Init.Hexadecimal.uint']
Terms: ['Stdlib.Numbers.DecimalFacts.lnorm', 'Corelib.Init.Decimal.rev', 'Corelib.Init.Decimal.unorm']
Inductive Types: ['Corelib.Init.Decimal.uint', 'Corelib.Init.Logic.eq']