namespace Frduino.Lib.Bitvec
#nowarn "3535"

open Stdlib.Asyncseq

type t = int

type Builder =
  abstract member sll : int expr * t expr -> t expr
  abstract member or' : t expr * t expr -> t expr
  // abstract member and : t expr * t expr -> t expr