H A D | cond_cleanLib.sml | 16 val (guard,next1,next2) = dest_IF next value 17 in (guard,dest_ASM next1, dest_ASM next2) end 24 val (guard,asm1,asm2) = dest_IMPL_INST_IF_ASM_ASM th value 64 val (guard,_,(s2,u2,j2)) = dest_IMPL_INST_IF_ASM_ASM th value 68 val assum = negate_guard guard 75 val (guard,_,(s2,u2,j2)) = dest_IMPL_INST_IF_ASM_ASM th value 83 val (guard,(s1,u1,j1),_) = dest_IMPL_INST_IF_ASM_ASM th value 87 val assum = guard 94 val (guard,(s1,u1,j1),_) = dest_IMPL_INST_IF_ASM_ASM th value
|