- if is_a_coercion uri || is_a_wanted_coercion then
- Some (uri, coercion_moo_statement_of uri)
+ let is_a_coercion, arity_coercion = is_a_coercion uri in
+ if is_a_coercion then
+ Some (uri, coercion_moo_statement_of arity_coercion uri)
+ else if is_a_wanted_coercion then
+ Some (uri, coercion_moo_statement_of arity_wanted uri)