trait LiftActuator:
    max_length is Real: 2.9
    stroke_length: 1.850
    min_length: max_length - stroke_length
    source:
        min_effort: Math.NEG_INF
        max_effort: Math.INF
