import Base
import ./LAWS.bend as L

def L.first(name): {==}
def L.zero_limit(name): {==}
def L.empty_find(name): {==}
def L.repeat_preserves(): {==}
def L.full_preserves(): {==}
def L.unicode_exact(): {==}
def L.default_limit(): {==}
def L.clamp_limit(): {==}

def main() -> U32: 1