Module FO.Problem

module Problem: sig .. end

Problem

type ('t, 'ty) t = {

	`statements : ('t, 'ty) FO.statement CCVector.ro_vector;`
	`meta : FO.metadata;`

}

val make : meta:FO.metadata ->
       ('t, 'ty) FO.statement CCVector.ro_vector -> ('t, 'ty) t

val of_list : meta:FO.metadata -> ('t, 'ty) FO.statement list -> ('t, 'ty) t

val statements : ('t, 'ty) t -> ('t, 'ty) FO.statement CCVector.ro_vector

val meta : ('a, 'b) t -> FO.metadata

val map : meta:FO.metadata ->
       (('t, 'ty) FO.statement -> ('t2, 'ty2) FO.statement) ->
       ('t, 'ty) t -> ('t2, 'ty2) t

val flat_map : meta:FO.metadata ->
       (('t, 'ty) FO.statement -> ('t2, 'ty2) FO.statement list) ->
       ('t, 'ty) t -> ('t2, 'ty2) t

val fold_flat_map : meta:FO.metadata ->
       ('acc -> ('t, 'ty) FO.statement -> 'acc * ('t2, 'ty2) FO.statement list) ->
       'acc -> ('t, 'ty) t -> 'acc * ('t2, 'ty2) t

val to_seq : ('t, 'ty) t -> ('t, 'ty) FO.statement Sequence.t