Calulate the length of a value

let value_length = value_length(value);

Get the value send to a particular address in a list of outputs

let value_to = get_all_value_to(outputs, address);

Get the value coming from a particular address in a list of inputs

let value_from = get_all_value_from(inputs, address);

Check if the first value provided is greater than or equal to the second value

let is_geq = value_geq(supposed_greater, supposed_smaller);

Obtain the information (i.e. flattened value) of a policy in a value

expect Some((policyId, assetName, quantity)) = value_policy_info(value, policy);

Obtain the non-lovelace information (i.e. flattened value) of a policy in a value

let tokens = value_tokens(value);