Module Boolean.Unsafe

val of_cvar : Field.Var.t -> var