Up – sponge » Sponge » Make_debug_sponge » P » Circuit » Internal_Basic » Field » Checked » Unsafe

Module `Checked.Unsafe`

val of_index : int -> field_var