hax-lib 0.4.0

Hax-specific helpers for Rust programs
Documentation 
1
2
3
4
5
6
7

import CoreModels.Command
import CoreModels.MissingAeneas
import CoreModels.Core
import CoreModels.Alloc
import CoreModels.HaxLib
import CoreModels.RustPrimitives
import CoreModels.Spec