Astral_internal.ModelChecker
type error =
| Unsupported of string
| Failure of exn * string
val check : StackHeapModel.t -> SL.t -> (bool, error) Stdlib.Result.t