Enumerable (crypto_params.Crypto_params.Tock.Enumerable)

Parameters

module M : sig ... end

val bit_length : int

type var = Full.Internal_Basic.Field.Var.t

val typ : ( var, M.t ) Full.Internal_Basic.Typ.t

val to_bits : M.t -> bool list

val var : M.t -> var

val assert_equal : var -> var -> unit Full.Internal_Basic.Checked.t

val var_to_bits : 
  var ->
  Full.Internal_Basic.Boolean.var list Full.Internal_Basic.Checked.t

val if_ : 
  Full.Internal_Basic.Boolean.var ->
  then_:var ->
  else_:var ->
  var Full.Internal_Basic.Checked.t

val (=) : 
  var ->
  var ->
  Full.Internal_Basic.Boolean.var Full.Internal_Basic.Checked.t