tezos-plompiler
LibCircuit.Bytes
type bl = bool list
val add : ?ignore_carry:bool -> bl repr -> bl repr -> bl repr t
val xor : bl repr -> bl repr -> bl repr t
val rotate : bl repr -> int -> bl repr