package owl-symbolic
-
owl-symbolic
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val int_sym : int -> Owl_symbolic_symbol.tval _to_canonical : Owl_symbolic_graph.symbol -> Owl_symbolic_graph.symbolval canonical_int : Owl_symbolic_graph.symbol -> Owl_symbolic_graph.symbolval canonical_float : Owl_symbolic_graph.symbol -> Owl_symbolic_graph.symbolval canonical_div : Owl_symbolic_graph.symbol -> Owl_symbolic_graph.symbolval canonical_var : Owl_symbolic_graph.symbol -> Owl_symbolic_graph.symbolval canonical_add : Owl_symbolic_graph.symbol -> Owl_symbolic_graph.symbolExtract common factor
val canonical_mul : Owl_symbolic_graph.symbol -> Owl_symbolic_graph.symbolval canonical_form : Owl_symbolic_graph.t -> Owl_symbolic_graph.t