val implies (b1 b2: bool) : bool
val implies (b1 b2: bool) : bool
let implies (b1: bool) (b2: bool) : bool =
  (not b1) || b2
module Spec.Logic
/
prims.fst.checked FStar.Pervasives.fsti.checked
Spec.Logic.fst
b1: Prims.bool -> b2: Prims.bool -> Prims.bool
Prims.bool Prims.op_BarBar Prims.op_Negation
let implies (b1 b2: bool) : bool =
  
(not b1) || b2