Op.Tval build :
a_eq:( 'a -> 'b -> bool ) ->
plan:'c t list ->
f:
( related_operations:Rosetta_models.Operation_identifier.t list ->
operation_identifier:Rosetta_models.Operation_identifier.t ->
'c t ->
( 'd, 'e ) M.t ) ->
( 'f list, 'g ) M.t