Skip to main content

fmt_binop_smt

liquid_fixpoint::smt_horn

Function fmt_binop_smt 

Source 
fn fmt_binop_smt(op: BinOp) -> &'static str