pub suberror SourcedError {
  SourcedError(error~ : Error?, loc~ : SourceLoc, msg~ : String)
} derive(
@moonbitlang/core/debug.Debug
Debug)

#callsite(autofill(loc))
fn ensure(cond : Bool, error? : Error, msg~ : String, loc~ : SourceLoc) -> Unit raise SourcedError

#callsite(autofill(loc))
fn[T] ensured(val : T, cond : Bool, error? : Error, msg~ : String, loc~ : SourceLoc) -> T raise SourcedError