local  open Fnlib Mixture Globals Location Asynt;in exception WrongInfix and MixedAssociativity; type 'Obj InfixStackStr = {    applyId : IdInfo -> 'Obj -> 'Obj,    applyObj : 'Obj -> 'Obj -> 'Obj,    asId : 'Obj -> IdInfo option,    pair : 'Obj -> 'Obj -> 'Obj}; val resolveInfix :  'Obj InfixStackStr -> (string -> InfixStatus) ->      'Obj list -> 'Obj; end;