Sourceval univ_duplicate_atoms :
(('a -> Atom.t list -> Atom.t list -> unit) -> unit) ->
unit Sourceval empty_scope_declared :
((string option -> Raw_ident.t -> unit) -> unit) ->
unit Sourceval duplicate_elements :
((string option ->
Raw_ident.t ->
[ `Exact | `Inf | `Sup ] ->
'a Fmtc.t ->
'a ->
unit) ->
unit) ->
unit Sourceval disj_with_only_one_variable :
((string option -> Raw_ident.t -> unit) -> unit) ->
unit Sourceval met_spurious_variable : ((string -> unit) -> unit) -> unit