Owl_ext_binopval error_binop :
string ->
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typ ->
'amodule F_F : sig ... endmodule F_C : sig ... endmodule C_F : sig ... endmodule C_C : sig ... endmodule F_DAS : sig ... endmodule DAS_F : sig ... endmodule DAS_DAS : sig ... endmodule F_DAD : sig ... endmodule DAD_F : sig ... endmodule DAD_DAD : sig ... endmodule F_DMS : sig ... endmodule DMS_F : sig ... endmodule DMS_DMS : sig ... endmodule F_DMD : sig ... endmodule DMD_F : sig ... endmodule DMD_DMD : sig ... endmodule C_DAC : sig ... endmodule DAC_C : sig ... endmodule DAC_DAC : sig ... endmodule C_DAZ : sig ... endmodule DAZ_C : sig ... endmodule DAZ_DAZ : sig ... endmodule C_DMC : sig ... endmodule DMC_C : sig ... endmodule DMC_DMC : sig ... endmodule C_DMZ : sig ... endmodule DMZ_C : sig ... endmodule DMZ_DMZ : sig ... endmodule DAS_DAD : sig ... endmodule DAD_DAS : sig ... endmodule DAC_DAZ : sig ... endmodule DAZ_DAC : sig ... endmodule DMS_DMD : sig ... endmodule DMD_DMS : sig ... endmodule DMC_DMZ : sig ... endmodule DMZ_DMC : sig ... endmodule F_DAC : sig ... endmodule DAC_F : sig ... endmodule F_DAZ : sig ... endmodule DAZ_F : sig ... endmodule C_DAS : sig ... endmodule DAS_C : sig ... endmodule C_DAD : sig ... endmodule DAD_C : sig ... endmodule DAS_DAC : sig ... endmodule DAC_DAS : sig ... endmodule DAD_DAZ : sig ... endmodule DAZ_DAD : sig ... endmodule F_DMC : sig ... endmodule DMC_F : sig ... endmodule F_DMZ : sig ... endmodule DMZ_F : sig ... endmodule C_DMS : sig ... endmodule DMS_C : sig ... endmodule C_DMD : sig ... endmodule DMD_C : sig ... endmodule DMS_DMC : sig ... endmodule DMC_DMS : sig ... endmodule DMD_DMZ : sig ... endmodule DMZ_DMD : sig ... endmodule DAS_DAZ : sig ... endmodule DAZ_DAS : sig ... endmodule DMS_DMZ : sig ... endmodule DMZ_DMS : sig ... endmodule DAC_DAD : sig ... endmodule DAD_DAC : sig ... endmodule DMC_DMD : sig ... endmodule DMD_DMC : sig ... endval (+) :
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typval (-) :
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typval (*) :
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typval (/) :
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typval (%) :
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typval (**) :
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typval (=) : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typ -> boolval (<>) : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typ -> boolval (<) : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typ -> boolval (>) : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typ -> boolval (<=) : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typ -> boolval (>=) : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typ -> boolval (=.) :
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typval (<>.) :
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typval (<.) :
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typval (>.) :
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typval (<=.) :
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typval (>=.) :
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typval min2 :
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typval max2 :
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typval (*@) :
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typval atan2 :
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typval (!=) : Owl_ext_types.ext_typ -> Owl_ext_types.ext_typ -> boolval (!=.) :
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typ ->
Owl_ext_types.ext_typ