Namespace: SymTensor

Functions and values

Function or valueDescription
canEvalSymbols rs
Signature: rs:SimpleRangeSpecT<'?178903> -> bool
Type parameters: '?178903
eval dynEvaluator rs
Signature: dynEvaluator:('a -> int64) -> rs:SimpleRangeSpecT<'a> -> TensorRng
Type parameters: 'a

evaluate a SimpleRangeSpecT to a RangeT

isDynamic rs
Signature: rs:SimpleRangeSpecT<'?178905> -> bool
Type parameters: '?178905
toBaseRangeSpec size rs
Signature: size:SizeSpecT -> rs:SimpleRangeSpecT<'?178909> -> SizeSpecT * SizeSpecT
Type parameters: '?178909

Active patterns

Active patternDescription
( |Dynamic|Static| ) rs
Signature: rs:SimpleRangeSpecT<'?178907> -> Choice<unit,unit>
Type parameters: '?178907

CompiledName: |Dynamic|Static|

Fork me on GitHub