package owl-base

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module type Owl_types_operator.BasicSigSource

Sourcetype ('a, 'b) t
Sourceval add : ('a, 'b) t -> ('a, 'b) t -> ('a, 'b) t
Sourceval sub : ('a, 'b) t -> ('a, 'b) t -> ('a, 'b) t
Sourceval mul : ('a, 'b) t -> ('a, 'b) t -> ('a, 'b) t
Sourceval div : ('a, 'b) t -> ('a, 'b) t -> ('a, 'b) t
Sourceval add_scalar : ('a, 'b) t -> 'a -> ('a, 'b) t
Sourceval sub_scalar : ('a, 'b) t -> 'a -> ('a, 'b) t
Sourceval mul_scalar : ('a, 'b) t -> 'a -> ('a, 'b) t
Sourceval div_scalar : ('a, 'b) t -> 'a -> ('a, 'b) t
Sourceval scalar_add : 'a -> ('a, 'b) t -> ('a, 'b) t
Sourceval scalar_sub : 'a -> ('a, 'b) t -> ('a, 'b) t
Sourceval scalar_mul : 'a -> ('a, 'b) t -> ('a, 'b) t
Sourceval scalar_div : 'a -> ('a, 'b) t -> ('a, 'b) t
Sourceval equal : ('a, 'b) t -> ('a, 'b) t -> bool
Sourceval not_equal : ('a, 'b) t -> ('a, 'b) t -> bool
Sourceval greater : ('a, 'b) t -> ('a, 'b) t -> bool
Sourceval less : ('a, 'b) t -> ('a, 'b) t -> bool
Sourceval greater_equal : ('a, 'b) t -> ('a, 'b) t -> bool
Sourceval less_equal : ('a, 'b) t -> ('a, 'b) t -> bool