1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
(* SPDX-License-Identifier: AGPL-3.0-or-later *)
(* Copyright © 2021-2024 OCamlPro *)
(* Written by the Owi programmers *)
type 'a t = 'a Result.t
let return x = Ok x [@@inline]
let bind x f = Result.bind x f [@@inline]
let ( let* ) x f = bind x f [@@inline]
let map v f = Result.map f v [@@inline]
let ( let+ ) v f = map v f [@@inline]
let select b = Ok b [@@inline]
let select_i32 i = Ok i [@@inline]
let trap t = Error t
let run m = m
let get_pc () = return Smtml.Expr.Set.empty