Function algebraic_geometry_code_ty 

pub fn algebraic_geometry_code_ty() -> Expr

AlgebraicGeometryCode : Nat → Nat → Type — AG code (Goppa code) constructed from an algebraic curve over GF(q).