Module Dolmen_type.Arrays

module Smtlib2 : sig ... end

Smtlib array builtins