Authorizations
Requires an API key to access. Signup at https://ui.osohq.com/
Body
A generic query comprising 1+ predicates conjuncted together.
Predicate name and variable names.
INVARIANT: all variable names must exist in constraints
. This ensures that all variables at least have a type.
2
elementsPredicate name and variable names.
INVARIANT: all variable names must exist in constraints
. This ensures that all variables at least have a type.
Map of variable names to their type and value(s). Every variable is at least typed and may also be constrained to a set of values.