Up – snarky_log » Snarky_log » Constraints » 1-Snarky_backendless » Boolean » Unsafe

Module `Boolean.Unsafe`

val of_cvar : Field.Var.t -> var