Module primops

Modules

kw 🔒

Macros

unwrap_result 🔒

Structs

Arg 🔒

An arg of the form a: T

Renderer 🔒

Requires 🔒

Rule 🔒

Rules 🔒

Enums

Guard 🔒

Output 🔒

Functions

args 🔒

is_primitive_type 🔒

mk_bty_arg 🔒

mk_idx_arg 🔒

parse_guards 🔒

primop_rules