fstar 2025.02.17 · OCaml Package

type !'a printable = {

to_string : 'a -> Prims.string;

}

val __proj__Mkprintable__item__to_string : 'a printable -> 'a -> Prims.string

val to_string : 'a printable -> 'a -> Prims.string

val printable_unit : Prims.unit printable

val printable_bool : Prims.bool printable

val printable_nat : Prims.nat printable

val printable_int : Prims.int printable

val printable_ref : 'a printable -> 'a printable

val printable_list : 'a printable -> 'a Prims.list printable

val printable_string : Prims.string printable

val printable_option : 
  'a printable ->
  'a FStar_Pervasives_Native.option printable

val printable_either : 
  'a printable ->
  'b printable ->
  ('a, 'b) FStar_Pervasives.either printable

val printable_char : FStar_Char.char printable

val printable_byte : FStar_UInt8.t printable

val printable_int8 : FStar_Int8.t printable

val printable_uint8 : FStar_UInt8.t printable

val printable_int16 : FStar_Int16.t printable

val printable_uint16 : FStar_UInt16.t printable

val printable_int32 : FStar_Int32.t printable

val printable_uint32 : FStar_UInt32.t printable

val printable_int64 : FStar_Int64.t printable

val printable_uint64 : FStar_UInt64.t printable

val printable_tuple2 : 'a printable -> 'b printable -> ('a * 'b) printable

val printable_tuple3 : 
  't0 printable ->
  't1 printable ->
  't2 printable ->
  ('t0 * 't1 * 't2) printable

val printable_tuple4 : 
  't0 printable ->
  't1 printable ->
  't2 printable ->
  't3 printable ->
  ('t0 * 't1 * 't2 * 't3) printable

val printable_tuple5 : 
  't0 printable ->
  't1 printable ->
  't2 printable ->
  't3 printable ->
  't4 printable ->
  ('t0 * 't1 * 't2 * 't3 * 't4) printable

val printable_tuple6 : 
  't0 printable ->
  't1 printable ->
  't2 printable ->
  't3 printable ->
  't4 printable ->
  't5 printable ->
  ('t0 * 't1 * 't2 * 't3 * 't4 * 't5) printable

val printable_tuple7 : 
  't0 printable ->
  't1 printable ->
  't2 printable ->
  't3 printable ->
  't4 printable ->
  't5 printable ->
  't6 printable ->
  ('t0 * 't1 * 't2 * 't3 * 't4 * 't5 * 't6) printable

val printable_seq : 'b printable -> 'b FStar_Seq_Base.seq printable

package fstar