69 open Hints_declaration
87 val make_parts : ByteValues.part List.list
89 val make_be_null : ByteValues.beval List.list
91 val bytes_of_bitvector :
92 Nat.nat -> BitVector.bitVector -> BitVector.byte List.list
94 val fe_to_be_values : AST.typ -> Values.val0 -> ByteValues.beval List.list
96 val check_be_null : Nat.nat -> ByteValues.beval List.list -> Bool.bool
99 Nat.nat -> ByteValues.beval List.list -> BitVector.bitVector Types.option
101 val build_integer_val : AST.typ -> ByteValues.beval List.list -> Values.val0
103 val be_to_fe_value : AST.typ -> ByteValues.beval List.list -> Values.val0