Unpacked (block_time.Block

type var

type value = t

val typ : ( var, value ) Crypto_params.Tick.Typ.t

val var_to_bits : 
  var ->
  Crypto_params.Tick.Boolean.var Bitstring_lib.Bitstring.Lsb_first.t

val var_of_bits : 
  Crypto_params.Tick.Boolean.var Bitstring_lib.Bitstring.Lsb_first.t ->
  var

val var_to_triples : 
  var ->
  Crypto_params.Tick.Boolean.var Tuple_lib.Triple.t list

val var_of_value : value -> var

val size_in_bits : int