Method: Z3::LowLevel.mk_bvsmod

Defined in:

lib/z3/low_level_auto.rb

.mk_bvsmod(ast1, ast2) ⇒ Object

> :ast_pointer

# File 'lib/z3/low_level_auto.rb', line 988

def mk_bvsmod(ast1, ast2) #=> :ast_pointer
  VeryLowLevel.Z3_mk_bvsmod(_ctx_pointer, ast1._ast, ast2._ast)
end