Module Scalar.Operation
module Unary : sig ... endmodule Binary : sig ... endval sort : any_locality_mode t -> Jkind_types.Sort.Const.t listval arity : _ t -> intval to_string : any_locality_mode t -> stringmodule With_percent_prefix : sig ... end