Strbv1

type t
interpret t -> strbv[2]

action a(inp:t) returns (out:t) = {
    out := inp
}