Module With_Noop.Binary_BackwardSource
Sourceval beq : 'a -> 'b -> 'c -> 'd option * 'e option Sourceval biult : 'a -> 'b -> 'c -> 'd option * 'e option Sourceval biule : 'a -> 'b -> 'c -> 'd option * 'e option Sourceval bislt : 'a -> 'b -> 'c -> 'd option * 'e option Sourceval bisle : 'a -> 'b -> 'c -> 'd option * 'e option Sourceval bitimes : 'a -> 'b -> 'c -> 'd option Sourceval biadd : 'a -> 'b -> 'c -> 'd option * 'e option Sourceval bimul : size:'a -> 'b -> 'c -> 'd -> 'e option * 'f option Sourceval bxor : size:'a -> 'b -> 'c -> 'd -> 'e option * 'f option Sourceval band : size:'a -> 'b -> 'c -> 'd -> 'e option * 'f option Sourceval bor : size:'a -> 'b -> 'c -> 'd -> 'e option * 'f option Sourceval nondet : size:'a -> 'b list -> 'c -> 'd option list Sourceval assume : size:'a -> 'b -> 'c -> 'd -> 'e option * 'f option Sourceval bsext : size:'a -> 'b -> 'c -> 'd option Sourceval buext : size:'a -> 'b -> 'c -> 'd option Sourceval bashr : size:'a -> 'b -> 'c -> 'd -> 'e option * 'f option Sourceval blshr : size:'a -> 'b -> 'c -> 'd -> 'e option * 'f option Sourceval bshl : size:'a -> 'b -> 'c -> 'd -> 'e option * 'f option Sourceval bisdiv : 'a -> 'b -> 'c -> 'd option * 'e option Sourceval bconcat : 'a list -> 'b -> 'c option list Sourceval bismod : 'a -> 'b -> 'c -> 'd option * 'e option Sourceval valid : size:'a -> 'b -> 'c -> 'd option