ModelParser (astral.Astral_internal.ModelParser)

module Extension : sig ... end

module Parser : sig ... end

module Logger : Logger_sig.LOGGER

val parse_id : Dolmen_std.Id.t -> string

val parse_sort_name : string -> Sort.t

val parse_sort : Dolmen_std.Term.t -> Sort.t

val parse_interp : Dolmen_std.Term.t -> Sort.t -> Constant.t

val parse_def : SMT.Model.t -> Dolmen_std.Statement.def -> SMT.Model.t

val parse_definitions : 
  SMT.Model.t ->
  Dolmen_std.Statement.def Dolmen_std.Statement.group ->
  SMT.Model.t

val parse_string : string -> SMT.Model.t