Dolmen_type.Arrays
module Ae : sig ... end
Ae array builtins
module Smtlib2 : sig ... end
Smtlib array builtins